Formal-Verification
- Leanstral: Formal Verification as the New Quality Gate
Mistral released Leanstral, the first open-source AI agent designed for formal verification in Lean 4. At $36 for pass@2, it outperforms Claude Sonnet on the FLTEval benchmark at 1/15th the cost. The bottleneck in AI-assisted engineering has shifted from code generation to code review -- and Leanstral is an attempt to move it again.