Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2410.06209
Cited By
v1
v2
v3
v4
v5
v6
v7 (latest)
LeanAgent: Lifelong Learning for Formal Theorem Proving
International Conference on Learning Representations (ICLR), 2024
8 October 2024
Adarsh Kumarappan
Mo Tiwari
Peiyang Song
Robert Joseph George
Chaowei Xiao
Anima Anandkumar
CLL
LLMAG
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
HuggingFace (1 upvotes)
Papers citing
"LeanAgent: Lifelong Learning for Formal Theorem Proving"
8 / 8 papers shown
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Marco Del Tredici
Jacob McCarran
Benjamin Breen
Javier Aspuru Mijares
Weichen Winston Yin
Jacob M. Taylor
Frank Koppens
Dirk Englund
Dirk Englund
LRM
246
0
0
14 Oct 2025
FEABench: Evaluating Language Models on Multiphysics Reasoning Ability
N. Mudur
Hao Cui
Subhashini Venugopalan
Paul Raccuglia
M. Brenner
Peter C. Norgaard
LLMAG
ELM
LRM
242
11
0
08 Apr 2025
Deep Learning based discovery of Integrable Systems
Shailesh Lal
Suvajit Majumder
E. Sobko
220
3
0
13 Mar 2025
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Sara Rajaee
Kumar Pratik
Gabriele Cesa
Arash Behboodi
OffRL
LRM
376
2
0
12 Mar 2025
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Suozhi Huang
Peiyang Song
Robert Joseph George
Julius Berner
AI4TS
LRM
355
3
0
25 Feb 2025
CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization
Shuming Shi
Ruobing Zuo
Gaolei He
Jianlin Wang
Chenyang Xu
Zhengfeng Yang
347
0
0
25 Feb 2025
MoFO: Momentum-Filtered Optimizer for Mitigating Forgetting in LLM Fine-Tuning
Yupeng Chen
Senmiao Wang
Yushun Zhang
Zhihang Lin
Haozhe Zhang
Tian Ding
Tian Ding
Ruoyu Sun
CLL
377
7
0
30 Jul 2024
Lean-STaR: Learning to Interleave Thinking and Proving
Haohan Lin
Zhiqing Sun
Yiming Yang
Sean Welleck
ReLM
LRM
687
50
0
14 Jul 2024
1
