§ models · storyline

Mistral AI releases Leanstral 1.5, a Lean 4 code agent model

Mistral AI releases Leanstral 1.5, an Apache-2.0 licensed Lean 4 code agent model that solved 587 of 672 problems on the PutnamBench benchmark.

yesterday · 02:00:00 · primary fetch1 sourceupdated today · 00:33:10

Mistral AI released Leanstral 1.5, an Apache-2.0 licensed Lean 4 code agent model that successfully solved 587 out of 672 problems on the PutnamBench benchmark.

read full article on marktechpost.com ↗

§ sources1 publication · timeline below

marktechpost.comMistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problemsprimary02:00:00