Leanstral Proves AI Code Is Correct at 93% Less Cost
Mistral released Leanstral, the first open-source AI agent built for Lean 4 formal verification, proving AI-generated code meets its specifications at 93% lower cost.
Mistral released Leanstral, the first open-source AI agent built for Lean 4 formal verification, proving AI-generated code meets its specifications at 93% lower cost.