Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
MarkTechPost
Read Full Article at MarkTechPost →Ad Slot — In-Article (728x90)
Mistral AI released Leanstral 1. 5, a free Apache-2. 0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B mixture-of-experts activates 6. 5B parameters per token.
We break down its architecture, benchmarks, real bug-finding case studies, and deployment code. The post Mistral AI Releases Leanstral 1. 5: An Apache-2. 0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems appeared first on MarkTechPost.
This is a summary. For the full story, read the original article at MarkTechPost.
Original source: MarkTechPost