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. 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…
No discussion yet. Be the first to share your thoughts!