:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Narboux, Julien, Neuper, Walther, Quaresma, Pedro
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2404.03709
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings The 13th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2025)

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
by: Gamboa, Ruben, et al.
Published: (2025)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
by: Gonzalez, Salwa Tabet, et al.
Published: (2024)

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

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

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
by: Lamont, Sean, et al.
Published: (2024)

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

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
by: Song, Peiyang, et al.
Published: (2024)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
by: Dong, Kefan, et al.
Published: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
by: Kasaura, Kazumi, et al.
Published: (2025)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
by: Vishwakarma, Rahul, et al.
Published: (2023)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
by: Taylor, Alexander K, et al.
Published: (2026)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
by: Zhao, Xueliang, et al.
Published: (2024)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
by: Rajaee, Sara, et al.
Published: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
by: Zhang, Terry Jingchen, et al.
Published: (2025)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
by: Li, Guchan, et al.
Published: (2026)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction
by: Tertulino, Rodrigo, et al.
Published: (2025)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
by: Tsoukalas, George, et al.
Published: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
by: Rao, Balaji, et al.
Published: (2025)

Proceedings 13th International Workshop on Developments in Computational Models
by: Alves, Sandra, et al.
Published: (2024)

Application of AI to formal methods - an analysis of current trends
by: Stock, Sebastian, et al.
Published: (2024)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

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

Machine Learning for Quantifier Selection in cvc5
by: Jakubův, Jan, et al.
Published: (2024)

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

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

Autoformalizing Euclidean Geometry
by: Murphy, Logan, et al.
Published: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

A Compositional Atlas for Algebraic Circuits
by: Wang, Benjie, et al.
Published: (2024)