Home › Tool Registry › Large Language Model › Leanstral 1.5
Leanstral 1.5
by Mistral
Visit Website ↗
1
Total mentions
1
Articles
1
Versions tracked
Jul 2026
Last mentioned
1.5 (×1)
← Back to registry
Articles mentioning Leanstral 1.5 (1)
1
Mistral_Leanstral_1.5_Aces_Math_Benchmarks_and_Finds_Bugs
Jul 4, 2026 v1.5 Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code