Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs Paper • 2507.04719 • Published about 1 month ago
view article Article Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models By AI-MO and 17 others • 27 days ago • 47
Mathesis: Towards Formal Theorem Proving from Natural Languages Paper • 2506.07047 • Published Jun 8 • 5
Mathesis: Towards Formal Theorem Proving from Natural Languages Paper • 2506.07047 • Published Jun 8 • 5
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Paper • 2505.05758 • Published May 9
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems Paper • 2411.18872 • Published Nov 28, 2024 • 1