Leanstral 1.5: Proof abundance for all
Leanstral 1.5 is a free Apache-2.0 licensed model with 6 billion active parameters that significantly enhances performance in formal verification. It solves 587 out of 672 PutnamBench problems, achieves state-of-the-art results on FATE-H (87%) and FATE-X (34%), and uncovers five previously unknown bugs across 57 repositories.
mistral.ai
6 min
14h ago
Leanstral 1.5: Proof abundance for all
Leanstral 1.5 is a free Apache-2.0 licensed model with 6 billion active parameters that significantly enhances performance in formal verification. It solves 587 out of 672 PutnamBench problems, achieves state-of-the-art results on FATE-H (87%) and FATE-X (34%), and uncovers five previously unknown bugs across 57 repositories.
mistral.ai
6 min
14h ago
Leanstral 1.5: Proof abundance for all
Leanstral 1.5 is a free Apache-2.0 licensed model with 6 billion active parameters that significantly enhances performance in formal verification. It solves 587 out of 672 PutnamBench problems, achieves state-of-the-art results on FATE-H (87%) and FATE-X (34%), and uncovers five previously unknown bugs across 57 repositories.
mistral.ai
6 min
14h ago
No more articles to load