Mistral AI Open-Sources Leanstral 1.5, Designed Specifically for Lean 4 Formal Verification
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.
Return to original text
A short introduction is retained here; the full text from the source website is not reposted. For specific wording and subsequent updates, please refer to the original article.
Open original at the-decoder.com