#software correctness

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Learn how Mistral AI's Leanstral 1.5 model combines formal verification with AI to solve mathematical problems and find real bugs in open-source code.