Mistral AI Releases Leanstral 1.5, a Formal Verification Model That Saturates miniF2F and Finds Unknown Bugs

Mistral AI has released Leanstral 1.5, a Lean 4 formal verification model, under Apache-2.0. It saturates the miniF2F benchmark and discovered five previously unreported bugs in real open-source code.