Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
Leanstral 1.5 is a new open-source model for formal verification. It excels at math benchmarks and demonstrates practical code analysis by finding critical bugs.