Research
A tiny 0.6B model just crushed formal math proofs, topping the MiniF2F leaderboard
Hugging Face Blog · Aug 14, 2025 · 2 min read
A new open-source training recipe is producing absurdly strong theorem-proving models that fit on a laptop. The team be...