Copertina

Null Measurability at the Symmetrization Interface in VC Learning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Gupta, Dhruv
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
di: Bharti, Varun, et al.
Pubblicazione: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Deep Learning with Parametric Lenses
di: Cruttwell, Geoffrey S. H., et al.
Pubblicazione: (2024)

Scalable Interconnect Learning in Boolean Networks
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Output-decomposed Learning of Mealy Machines
di: Koenders, Rick, et al.
Pubblicazione: (2024)

Error-awareness Accelerates Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2026)

On Improving Deep Active Learning with Formal Verification
di: Spiegelman, Jonathan, et al.
Pubblicazione: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

A General Framework for Property-Driven Machine Learning
di: Flinkow, Thomas, et al.
Pubblicazione: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
di: Amir, Guy, et al.
Pubblicazione: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
di: Omi, Nabil, et al.
Pubblicazione: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
di: Cropper, Andrew, et al.
Pubblicazione: (2024)

Learning Representations Through Contrastive Neural Model Checking
di: Krsmanovic, Vladimir, et al.
Pubblicazione: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
di: Ghanem, Mohamed, et al.
Pubblicazione: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

State Matching and Multiple References in Adaptive Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
di: Tasse, Geraud Nangue, et al.
Pubblicazione: (2022)

Infectious Disease Forecasting in India using LLM's and Deep Learning
di: Shah, Chaitya, et al.
Pubblicazione: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2026)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
di: Perez, Mateo, et al.
Pubblicazione: (2023)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
di: Boetius, David, et al.
Pubblicazione: (2024)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
di: Ren, Yuanfang, et al.
Pubblicazione: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
di: Zhou, Xiaofeng, et al.
Pubblicazione: (2026)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
di: Beirami, Hani, et al.
Pubblicazione: (2026)

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
di: Gu, Rong
Pubblicazione: (2024)

Agnostic Online Learning and Excellent Sets
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2021)

Developing a Dataset-Adaptive, Normalized Metric for Machine Learning Model Assessment: Integrating Size, Complexity, and Class Imbalance
di: Ossenov, Serzhan
Pubblicazione: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

P2C: Path to Counterfactuals
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
di: Işık, İlker, et al.
Pubblicazione: (2026)

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
di: Zubić, Nikola, et al.
Pubblicazione: (2024)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2026)

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
di: Sonoda, Sho, et al.
Pubblicazione: (2026)