Mistral AI Releases Leanstral 1.5, an Open-Source Model That Catches Real Bugs in Code
Mistral AI has released Leanstral 1.5, an open-source model for formal verification in Lean 4. It achieves 100 percent on the miniF2F math benchmark and caught five real bugs in open-source code during testing.