Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
🔒
https://the-decoder.com
«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-...»
Automatische Weiterleitung...
1.5s