12:52
2026-07-04
testingcatalog.com
large-language-models
Mistral releases Leanstral 1.5 open model for proof engineering
Mistral AI released Leanstral 1.5, an open-source code agent model for Lean 4 formal proof engineering, available under Apache-2.0 license. The 119B-parameter model achieves state-of-the-art results o…