Mistral AI Releases Leanstral 1.5 with Enhanced Formal Verification Capabilities
HIGHLIGHTS
- •Mistral AI released Leanstral 1.5 with Enhanced Formal Verification Capabilities
- •Leanstral 1.5 is a free Apache-2.0 licensed model with 6B active parameters, achieving state-of-the-art results on FATE-H (87%) and FATE-X (34%), and uncovering 5 previously unknown bugs across 57 repositories tested. It is fully open-sourced and available via Hugging Face and a free API.
- •This release is significant as it offers significant performance improvements in formal verification and makes practical proof engineering in Lean 4 more accessible.
Published:
Official Source (Official Blog)