Summary
Mistral releases Leanstral 1.5 under Apache 2.0, achieving 100% on the miniF2F benchmark and establishing state-of-the-art performance in Lean 4 formal verification for mathematical proofs.
Key Takeaways
- Mistral Releases Leanstral 1.5: Saturates miniF2F at 100% for Formal Verification
- Read the full article at https://mistral.ai/news/leanstral-1-5/
- Stay updated on this developing story
Frequently Asked Questions
Q: What is this story about? A: Mistral releases Leanstral 1.5 under Apache 2.0, achieving 100% on the miniF2F benchmark and establishing state-of-the-art performance in Lean 4 formal verification for mathematical proofs…