Cover Image

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baba, Kaito, Liu, Chaoran, Kurita, Shuhei, Sannai, Akiyoshi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conditional PED-ANOVA: Hyperparameter Importance in Hierarchical & Dynamic Search Spaces
by: Baba, Kaito, et al.
Published: (2026)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
by: Yanahama, Banri, et al.
Published: (2026)

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

Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE
by: Hashimoto, Koji, et al.
Published: (2024)

Multi-Modal Multi-Agent Reinforcement Learning for Radiology Report Generation
by: Baba, Kaito, et al.
Published: (2026)

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

Integrating Large Language Models in Causal Discovery: A Statistical Causal Approach
by: Takayama, Masayuki, et al.
Published: (2024)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
by: Li, Chenyi, et al.
Published: (2026)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
by: Lin, Yong, et al.
Published: (2025)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

Mathematical Framing for Different Agent Strategies
by: Stephens, Philip, et al.
Published: (2025)

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

Approximation of Box Decomposition Algorithm for Fast Hypervolume-Based Multi-Objective Optimization
by: Watanabe, Shuhei
Published: (2025)

$Agent^2$: An Agent-Generates-Agent Framework for Reinforcement Learning Automation
by: Wei, Yuan, et al.
Published: (2025)

Sequence Pathfinder for Multi-Agent Pickup and Delivery in the Warehouse
by: Zhao, Zeyuan, et al.
Published: (2025)

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

The T05 System for The VoiceMOS Challenge 2024: Transfer Learning from Deep Image Classifier to Naturalness MOS Prediction of High-Quality Synthetic Speech
by: Baba, Kaito, et al.
Published: (2024)

Decomposition of Equivariant Maps via Invariant Maps: Application to Universal Approximation under Symmetry
by: Sannai, Akiyoshi, et al.
Published: (2024)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
by: Onda, Naoto, et al.
Published: (2025)

AKG kernel Agent: A Multi-Agent Framework for Cross-Platform Kernel Synthesis
by: Du, Jinye, 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)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
by: Lin, Yong, et al.
Published: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

SorryDB: Can AI Provers Complete Real-World Lean Theorems?
by: Letson, Austin, et al.
Published: (2026)

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

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
by: Mahdavi, Hamed, et al.
Published: (2025)

AgentMath: Empowering Mathematical Reasoning for Large Language Models via Tool-Augmented Agent
by: Luo, Haipeng, et al.
Published: (2025)

Derivation of Output Correlation Inferences for Multi-Output (aka Multi-Task) Gaussian Process
by: Watanabe, Shuhei
Published: (2025)

Derivation of Closed Form of Expected Improvement for Gaussian Process Trained on Log-Transformed Objective
by: Watanabe, Shuhei
Published: (2024)

Tree-Structured Parzen Estimator: Understanding Its Algorithm Components and Their Roles for Better Empirical Performance
by: Watanabe, Shuhei
Published: (2023)

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

Understanding Agent Scaling in LLM-Based Multi-Agent Systems via Diversity
by: Yang, Yingxuan, et al.
Published: (2026)

PrismAgent: Illuminating Harm in Memes via a Zero-Shot Interpretable Multi-Agent Framework
by: Ding, Zihan, et al.
Published: (2026)

Agent-Omit: Adaptive Context Omission for Efficient LLM Agents
by: Ning, Yansong, et al.
Published: (2026)

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

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

Do We Need Frontier Models to Verify Mathematical Proofs?
by: Naik, Aaditya, et al.
Published: (2026)

ModelingAgent: Bridging LLMs and Mathematical Modeling for Real-World Challenges
by: Qian, Cheng, et al.
Published: (2025)

LinearizeLLM: An Agent-Based Framework for LLM-Driven Exact Linear Reformulation of Nonlinear Optimization Problems
by: Kandora, Paul-Niklas Ken, et al.
Published: (2025)

Inefficiencies of Meta Agents for Agent Design
by: El, Batu, et al.
Published: (2025)