varinteger

Mistral released Leanstral 1.5, a formal verification agent built on Lean 4, on July 2, and in its first public test against 57 open-source repositories it found five bugs that human maintainers had n…

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4, achieving 100% on the miniF2F math benchmark and solving 587 of 672 Putnam problems. The model also caught fi…