Mistral AI Unveils Leanstral 1.5: A New Code Agent Model for Lean 4
Mistral AI has introduced Leanstral 1.5, a code agent model that successfully tackles a substantial portion of the PutnamBench problems, showcasing its advanced architecture.
Editorial Staff
1 min read
Updated 10 days ago
Mistral AI has launched Leanstral 1.5, a free code agent model designed for Lean 4, which is licensed under Apache-2.0.
This model has demonstrated its capability by solving 587 out of 672 problems presented in the PutnamBench challenge.
Leanstral 1.5 employs a sophisticated 119 billion mixture-of-experts architecture, activating 6.5 billion parameters for each token processed.