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 12 days ago
