SOURCE-LINKED INTELLIGENCE
Mistral model release: 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.
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 . MODEL RELEASED
Read original source ↗ Open in workspace
- recordType
- page-entry
- evidenceStatus
- publisher-reported
- region
- Global
Evidence & attribution
- Mistral Changelog · 2026-06-30T00:00:00.000Z
First collected: 2026-09-20T08:01:03.945Z. This is not the publication date.