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, achieving top results on formal math benchmarks and catching bugs in code. The model is available through Hugging Face and a free API.

1sec.ai