Models · MarkTechPost ·
Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Mistral AI released Leanstral 1.5, an Apache-2.0 model for Lean 4 code generation and proof assistance. The 119B mixture-of-experts model activates 6.5B parameters per token and reportedly solves 587 of 672 PutnamBench problems, while saturating miniF2F.