Mistral AI·· 2026-07-02SelectedAI score65
Leanstral 1.5: Proof Abundance for All
Leanstral 1.5: Proof Abundance for All
AI introduction
Mistral released the Apache-2.0 open-source model Leanstral 1.5, with 119B total parameters and 6B activated parameters, trained via mid-training, supervised fine-tuning and CISPO reinforcement learning.
Why it matters
The official post discloses the full training pipeline, benchmark figures and real code verification cases, letting readers gauge how practical formal verification models are for mathematical proofs and open-source bug finding.
Source images · Select to enlarge
Source: Mistral AI · mistral.ai