Open Source · The Decoder ·
Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. The model also found five previously unknown bugs while scanning 57 open-source repositories.