Saved in:
| Main Authors: | Requena, Borja, Letson, Austin, Nowakowski, Krystian, Beltran-Ferreiro, Izan, Sarra, Leopoldo |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.24273 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
by: Letson, Austin, et al.
Published: (2026)
by: Letson, Austin, et al.
Published: (2026)
A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
by: Xiong, Beibei, et al.
Published: (2025)
by: Xiong, Beibei, et al.
Published: (2025)
Aristotle: IMO-level Automated Theorem Proving
by: Achim, Tudor, et al.
Published: (2025)
by: Achim, Tudor, et al.
Published: (2025)
Partial Label Learning for Automated Theorem Proving
by: Zombori, Zsolt, et al.
Published: (2025)
by: Zombori, Zsolt, et al.
Published: (2025)
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
by: Zheng, Chuanyang, et al.
Published: (2023)
by: Zheng, Chuanyang, et al.
Published: (2023)
Proving Theorems Recursively
by: Wang, Haiming, et al.
Published: (2024)
by: Wang, Haiming, et al.
Published: (2024)
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
by: Chen, Luoxin, et al.
Published: (2025)
by: Chen, Luoxin, et al.
Published: (2025)
Reinforcement learning with learned gadgets to tackle hard quantum problems on real hardware
by: Kundu, Akash, et al.
Published: (2024)
by: Kundu, Akash, et al.
Published: (2024)
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
by: Lin, Yong, et al.
Published: (2025)
by: Lin, Yong, et al.
Published: (2025)
An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)
by: Thakur, Amitayush, et al.
Published: (2023)
A Survey on Deep Learning for Theorem Proving
by: Li, Zhaoyu, et al.
Published: (2024)
by: Li, Zhaoyu, et al.
Published: (2024)
LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)
by: Kumarappan, Adarsh, et al.
Published: (2024)
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
by: Liu, Chengwu, et al.
Published: (2026)
by: Liu, Chengwu, et al.
Published: (2026)
Joint Embeddings Go Temporal
by: Ennadir, Sofiane, et al.
Published: (2025)
by: Ennadir, Sofiane, et al.
Published: (2025)
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
by: Lai, Junyu, et al.
Published: (2025)
by: Lai, Junyu, et al.
Published: (2025)
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
by: Tian, Yuchen, et al.
Published: (2025)
by: Tian, Yuchen, et al.
Published: (2025)
Distilling LLM Feedback for Lean Theorem Proving
by: Narozniak, Gaetan, et al.
Published: (2026)
by: Narozniak, Gaetan, et al.
Published: (2026)
EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
by: Li, Mukai, et al.
Published: (2025)
by: Li, Mukai, et al.
Published: (2025)
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)
by: Li, Sirui, et al.
Published: (2025)
HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
by: Li, Yang, et al.
Published: (2024)
by: Li, Yang, et al.
Published: (2024)
Steering LLMs for Formal Theorem Proving
by: Kirtania, Shashank, et al.
Published: (2025)
by: Kirtania, Shashank, et al.
Published: (2025)
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
by: Zhao, Haoyu, et al.
Published: (2025)
by: Zhao, Haoyu, et al.
Published: (2025)
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
by: Zhang, Youyuan, et al.
Published: (2026)
by: Zhang, Youyuan, et al.
Published: (2026)
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
by: Rajaee, Sara, et al.
Published: (2025)
by: Rajaee, Sara, et al.
Published: (2025)
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
by: Cao, Chenrui, et al.
Published: (2025)
by: Cao, Chenrui, et al.
Published: (2025)
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
by: Wu, Shaonan, et al.
Published: (2024)
by: Wu, Shaonan, et al.
Published: (2024)
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
by: Onda, Naoto, et al.
Published: (2025)
by: Onda, Naoto, et al.
Published: (2025)
Mathesis: Towards Formal Theorem Proving from Natural Languages
by: Xuejun, Yu, et al.
Published: (2025)
by: Xuejun, Yu, et al.
Published: (2025)
Psychometric-Based Evaluation for Theorem Proving with Large Language Models
by: Zhang, Jianyu, et al.
Published: (2025)
by: Zhang, Jianyu, et al.
Published: (2025)
OProver: A Unified Framework for Agentic Formal Theorem Proving
by: Ma, David, et al.
Published: (2026)
by: Ma, David, et al.
Published: (2026)
PhysProver: Advancing Automatic Theorem Proving for Physics
by: Zhang, Hanning, et al.
Published: (2026)
by: Zhang, Hanning, et al.
Published: (2026)
RLMEval: Evaluating Research-Level Neural Theorem Proving
by: Poiroux, Auguste, et al.
Published: (2025)
by: Poiroux, Auguste, et al.
Published: (2025)
Learning to Reason with Insight for Informal Theorem Proving
by: Li, Yunhe, et al.
Published: (2026)
by: Li, Yunhe, et al.
Published: (2026)
FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
by: Uluşan, Zeynel A., et al.
Published: (2026)
by: Uluşan, Zeynel A., et al.
Published: (2026)
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
by: Wu, Zijian, et al.
Published: (2024)
by: Wu, Zijian, et al.
Published: (2024)
What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)
by: Olejniczak, Krzysztof, et al.
Published: (2026)
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
by: Quan, Xin, et al.
Published: (2025)
by: Quan, Xin, et al.
Published: (2025)
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
by: Zimmer, Matthieu, et al.
Published: (2025)
by: Zimmer, Matthieu, et al.
Published: (2025)
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
by: Wang, Ruida, et al.
Published: (2025)
by: Wang, Ruida, et al.
Published: (2025)
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
by: Petrov, Ivo, et al.
Published: (2025)
by: Petrov, Ivo, et al.
Published: (2025)
Similar Items
-
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
by: Letson, Austin, et al.
Published: (2026) -
A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
by: Xiong, Beibei, et al.
Published: (2025) -
Aristotle: IMO-level Automated Theorem Proving
by: Achim, Tudor, et al.
Published: (2025) -
Partial Label Learning for Automated Theorem Proving
by: Zombori, Zsolt, et al.
Published: (2025) -
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
by: Zheng, Chuanyang, et al.
Published: (2023)