Congrats to @MistralAI on Leanstral 1.5! 🎉
An Apache-2.0 Lean 4 proof agent that punches way above its size:
🧩 MoE: 119B total, just 6B active
📐 100% on miniF2F
🎓 New SOTA on FATE-H (87%) & FATE-X (34%)
⚡ 587/672 on PutnamBench at ~$4/problem
Read the blog below or serve it on vLLM today!
huggingface.co/mistralai/Lea…
Jul 3
Today, we are releasing Le Chaton L∃∀N, aka Leanstral 1.5.
It achieves SOTA performance on graduate algebra benchmarks FATE-H and FATE-X and improves Pareto Frontier on PutnamBench, solving 587/672 problems with a x10 cheaper budget.
🧵
7
14
156
18,080













