Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
By Matthias Bastian
Continuing our coverage of Mistral's Leanstral 1.5 release from yesterday, Mistral released Leanstral 1.5, an open-source model for formal verification in Lean 4 that reportedly excels on formal math benchmarks. Beyond math, it discovered five previously unknown bugs while scanning 57 open-source repositories.