§ models · storyline
Mistral's Leanstral 1.5 finds real bugs while acing math tests
Mistral releases Leanstral 1.5, an open-source model for formal verification in Lean 4 that discovered five previously unknown bugs across 57 repositories.
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.
The article Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code appeared first on The Decoder.
§ sources1 publication · timeline below