Mistral Open-Sources Leanstral 1.5
dl_weekly · x · 2026-07-11
Mistral has open-sourced Leanstral 1.5.
The post highlights its strong performance across multiple benchmarks:
- Achieving saturation on miniF2F
- Solving 587 out of 672 problems on PutnamBench
- Setting a new SOTA on FATE-H/X
Furthermore, this version uncovered 5 previously unknown bugs across 57 testing repositories, proving that it offers not just higher scores but also practical code auditing and issue discovery capabilities.
More from Models
- Bug Hunt Bench ranks frontier coding models on 105 planted real-repo bugs — PawelHuryn · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11
- 105 hidden bugs, 2 repos: DeepSeek V4.1 Flash fixes 24 at $1.80 vs Opus 5's 27 at $51.33 — ChartsJournalX · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11