🎉 New SOTA for theorem proving model!

Welcome 👋

See our post in X: https://x.com/hungsuzh143318/status/1848604474555961804

https://arxiv.org/abs/2410.15700 Introducing our new open-source LLMs for Lean 4 theorem proving: InternLM2.5-StepProver and its critic, setting a new #minif2f SOTA at 65.9%. No hallucination, verified math proofs by LLM reasoning!