← All topics
leanstral
Latest stories covering leanstral, with summaries and links to related coverage.
1 stories · 1 reports · page 1 of 1
Connected topics
Leanstral 1.5: Proof abundance for all
tool
6 min read
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.