Mistral Releases Leanstral-1.5-119B-A6B for Formal Verification
July 3, 2026
Mistral's new Apache-2.0 model features 6B active parameters and specializes in formal verification. It achieved state-of-the-art results on FATE-H (87%) and solved 587/672 PutnamBench problems, demonstrating high proficiency in agentic proof engineering.
HOW THIS AFFECTS YOU
●
builderLeverage this model for automated software correctness verification and code specification tasks.
●
researcherStudy the impact of CISPO reinforcement learning on formal verification benchmarks.