{"type": "article", "title": "Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mistral-s-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real", "original_source": "https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/", "published": "2026-07-04T07:12:47+00:00", "accessed": "2026-07-04", "id": "mistral-s-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real"}