FORMAL VERIFICATION
1 item
1 post
Blog
Leanstral 1.5: Mistral's Open Theorem-Proving Model Hits 100% on miniF2FMistral releases Leanstral 1.5, an Apache-2.0 licensed 119B parameter model (6B active) for Lean 4 theorem proving that saturates miniF2F and achieves SOTA on FATE benchmarks.
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever