{"type": "article", "title": "Mistral opens Leanstral 1.5 in a bet on machine-checked AI", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mistral-opens-leanstral-1-5-in-a-bet-on-machine-checked-ai", "original_source": "https://runtimewire.com/article/mistral-leanstral-1-5-open-proof-model", "published": "2026-07-04T04:11:16+00:00", "accessed": "2026-07-04", "id": "mistral-opens-leanstral-1-5-in-a-bet-on-machine-checked-ai"}