#Leanstral

1 articles about Leanstral

Mistral Releases Leanstral 1.5: Saturates miniF2F at 100% for Formal Verification
AI Research Jul 2, 2026

Mistral Releases Leanstral 1.5: Saturates miniF2F at 100% for Formal Verification

Mistral released Leanstral 1.5 under Apache 2.0, a 119B model with 6B active parameters that hits 100 percent on miniF2F and finds real bugs in open-source code.