Cover Image

Remarks on a recent preprint of Chernikov and Towsner

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Malliaris, Maryanthe
Format:	Preprint
Published:	2025
Subjects:	Logic Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On ultrafilter construction
by: Malliaris, Maryanthe
Published: (2025)

Sample completion, structured correlation, and Netflix problems
by: Coregliano, Leonardo N., et al.
Published: (2025)

High-arity PAC learning via exchangeability
by: Coregliano, Leonardo N., et al.
Published: (2024)

Some model-theoretic consequences of high-arity uniform convergence, part I
by: Coregliano, Leonardo N., et al.
Published: (2026)

Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)

Weak randomness in graphons and theons
by: Coregliano, Leonardo N., et al.
Published: (2022)

A packing lemma for VCN${}_k$-dimension and learning high-dimensional data
by: Coregliano, Leonardo N., et al.
Published: (2025)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

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

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

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

On statistical learning of graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

Computable learning of natural hypothesis classes
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

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

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Space Explanations of Neural Network Classification
by: Labbaf, Faezeh, et al.
Published: (2025)

Formalized Hopfield Networks and Boltzmann Machines
by: Cipollina, Matteo, et al.
Published: (2025)

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

The analogy theorem in Hoare logic
by: Nikita, Nikitin
Published: (2025)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

Symbolic Snapshot Ensembles
by: Liu, Mingyue, et al.
Published: (2025)

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

A First-Order Logic-Based Alternative to Reward Models in RLHF
by: Jian, Chunjin, et al.
Published: (2025)

Do LLMs Dream of Discrete Algorithms?
by: Coelho Jr, Claudionor, et al.
Published: (2025)

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

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

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

Approximating Fixpoints of Approximated Functions
by: Baldan, Paolo, et al.
Published: (2025)

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

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
by: Bassan, Shahaf, et al.
Published: (2025)

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

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

Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks
by: Duan, Hongyi, et al.
Published: (2025)

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

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

Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
by: Majumdar, Angshul
Published: (2026)

Neural Model Checking
by: Giacobbe, Mirco, et al.
Published: (2024)