ended7월 4일· 1 sources
Leanstral 1.5: Proof Abundance for All
Why it matters
Thinking Summary Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench...
1
Sources
+0
24h
—
Growth
79d
Active