:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cipollina, Matteo, Karatarakis, Michail, Wiedijk, Freek
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Logic in Computer Science
Online Access:	https://arxiv.org/abs/2512.07766
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A formalization of the Gelfond-Schneider theorem
by: Karatarakis, Michail, et al.
Published: (2026)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

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

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
by: Yousefzadeh, Roozbeh, et al.
Published: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
by: Bukhari, Syed Ali Asadullah, et al.
Published: (2024)

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)

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

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

Solving Formal Math Problems by Decomposition and Iterative Reflection
by: Zhou, Yichi, et al.
Published: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

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

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

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
by: Murphy, William, et al.
Published: (2024)

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

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
by: Xie, Zixuan, et al.
Published: (2026)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

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)

A Neurosymbolic Approach to Natural Language Formalization and Verification
by: Bayless, Sam, et al.
Published: (2025)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
by: Sälzer, Marco, et al.
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)

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

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

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

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

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

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
by: Sälzer, Marco, et al.
Published: (2026)

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

Branch and Bound for Piecewise Linear Neural Network Verification
by: Bunel, Rudy, et al.
Published: (2019)

Almost Surely Asymptotically Constant Graph Neural Networks
by: Adam-Day, Sam, et al.
Published: (2024)

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