Copertina

Computable learning of natural hypothesis classes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Harrison-Trainor, Matthew, Akbari, Syed
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

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

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
di: Damaj, Jad, et al.
Pubblicazione: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2024)

Scott Spectral Gaps are Bounded for Linear Orderings
di: Gonzalez, David, et al.
Pubblicazione: (2024)

Characterizing relative decidability in terms of model completeness
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2026)

Scott spectral gaps for trees are bounded
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2026)

Back-and-forth equivalent group von Neumann algebras
di: Goldbring, Isaac, et al.
Pubblicazione: (2024)

Optimal Syntactic Definitions of Back-and-Forth Types
di: Chen, Ruiyuan, et al.
Pubblicazione: (2025)

On the computability of optimal Scott sentences
di: Alvir, Rachael, et al.
Pubblicazione: (2025)

The Logic of Cardinality Comparison Without the Axiom of Choice
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2022)

Computable universal online learning
di: Kalociński, Dariusz, et al.
Pubblicazione: (2025)

The Logical Expressiveness of Topological Neural Networks
di: Akbari, Amirreza, et al.
Pubblicazione: (2026)

Scott analysis, linear orders and almost periodic functions
di: Gonzalez, David, et al.
Pubblicazione: (2024)

On statistical learning of graphs
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Iterated Priority Arguments in Descriptive Set Theory
di: Day, Adam, et al.
Pubblicazione: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2022)

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

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

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

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

A Logical View of GNN-Style Computation and the Role of Activation Functions
di: Barceló, Pablo, et al.
Pubblicazione: (2025)

Dichotomy results for classes of countable graphs
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Remarks on a recent preprint of Chernikov and Towsner
di: Malliaris, Maryanthe
Pubblicazione: (2025)

On the Computational Tractability of the (Many) Shapley Values
di: Marzouk, Reda, et al.
Pubblicazione: (2025)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
di: Amir, Guy, et al.
Pubblicazione: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Local vs. Global Interpretability: A Computational Complexity Perspective
di: Bassan, Shahaf, et al.
Pubblicazione: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
di: Daggitt, Matthew L., et al.
Pubblicazione: (2024)

A DPLL(T) Framework for Verifying Deep Neural Networks
di: Duong, Hai, et al.
Pubblicazione: (2023)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

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

The measuring principle and the continuum hypothesis
di: Golshani, Mohammad, et al.
Pubblicazione: (2022)

Two results on complexities of decision problems of groups
di: Andrews, Uri, et al.
Pubblicazione: (2024)

Neural Model Checking
di: Giacobbe, Mirco, et al.
Pubblicazione: (2024)

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

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

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
di: Murphy, William, et al.
Pubblicazione: (2024)

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

TLINet: Differentiable Neural Network Temporal Logic Inference
di: Li, Danyang, et al.
Pubblicazione: (2024)