FATE-H

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…

Mistral AI released Leanstral 1.5, an Apache-2.0 licensed Lean 4 code agent model that solves 587 of 672 PutnamBench problems. The model achieves state-of-the-art results on multiple theorem-proving b…