Theorem Proving

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems

InternLM2.5-StepProver and its critic, setting a new minif2f SOTA at 65.9%. No hallucination, verified math proofs by LLM reasoning.

Oct 28, 2024

🎉 New SOTA for theorem proving model!

Our new open-source LLMs for Lean 4 theorem proving. See our post in X https://x.com/hungsuzh143318/status/1848604474555961804

Oct 27, 2024