{"type": "article", "title": "Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving", "original_source": "https://www.marktechpost.com/2026/07/03/mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving-587-of-672-putnambench-problems/", "published": "2026-07-03T22:20:26+00:00", "accessed": "2026-07-04", "id": "mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving"}