22:33
2026-07-03
mistral.ai
artificial-intelligence
Leanstral 1.5: Proof Abundance for All
Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers major performance upgrades in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and ach…