Mistral releases Leanstral 1.5, an open-source model for formal verification in Lean 4

Leanstral 1.5, Mistral AI's open-source model, outperforms in formal math benchmarks using Lean 4.

Published 1sem1 sourceNotable

≈ 20sSpeed

The fact

The model detected five previously unknown bugs while scanning 57 open-source repositories.

Designed for formal verification, it bridges theoretical performance with real-world bug detection.

Click the link to read the original article:

Explore this topic

Auto-synthesis from 1 media source · identified on July 4, 2026