#Lean 4

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.