Back
Mistral AINew model
We released Leanstral 1.5, an updated Lean 4 formal proof engineering model with improved SFT mixture…
AI summary
Written by AI from the official notes. Check them for exact details.Leanstral 1.5 has been released with improved SFT mixture quality and extended long-context reasoning.
- Improved SFT mixture quality
- Extended long-context reasoning
- Model will be retired on September 30, 2026
Why it matters: Users of Leanstral should update to version 1.5 for enhanced performance before the retirement date.
Full release notes
- We released Leanstral 1.5 (
labs-leanstral-1-5), an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning. This model will be retired on September 30, 2026.