Mistral AI News
Visit site ↗You’re all caught up.
Mistral AI released Leanstral 1.5, a free and open-source model for formal verification in Lean 4, achieving state-of-the-art results on several benchmarks. The model excels in agentic proof engineering and real-world code verification, uncovering previously unknown bugs in open-source repositories. Leanstral 1.5 is available via Hugging Face and a free API.