Copertina

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sonoda, Sho, Akiyama, Shunta, Uezato, Yuya
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

Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
di: Sonoda, Sho, et al.
Pubblicazione: (2026)

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

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

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

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

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
di: Shen, Ziju, et al.
Pubblicazione: (2025)

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

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
di: Qian, Yicheng, et al.
Pubblicazione: (2025)

SMLP: Symbolic Machine Learning Prover
di: Brauße, Franz, et al.
Pubblicazione: (2024)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
di: Ahuja, Riyaz, et al.
Pubblicazione: (2026)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
di: Jin, Xiangyu, et al.
Pubblicazione: (2024)

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

Vibe Coding an LLM-powered Theorem Prover
di: Hou, Zhe
Pubblicazione: (2026)

Theorem Provers: One Size Fits All?
di: Oates, Harrison, et al.
Pubblicazione: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
di: Brauße, Franz, et al.
Pubblicazione: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

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

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

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

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
di: Xin, Huajian, et al.
Pubblicazione: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

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

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
di: Lamont, Sean, et al.
Pubblicazione: (2024)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
di: Tang, Xichen
Pubblicazione: (2025)

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

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

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

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)

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

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

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

The Descriptive Complexity of Graph Neural Networks
di: Grohe, Martin
Pubblicazione: (2023)

Proceedings 12th International Workshop on Theorem proving components for Educational software
di: Narboux, Julien, et al.
Pubblicazione: (2024)

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

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
di: Alsmann, Eric, et al.
Pubblicazione: (2026)

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