Leanstral 1.5

vetronauta·Hacker News·Community·

An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.

Read full article →

Related Articles

GLM-5.3: Frontier coding with emergent cyber capabilities
pella · Hacker News · 21h ago
Firefox is now the last major browser that still supports uBlock Origin
DemiGuru · Hacker News · 8h ago
Going Dark, and the era of law enforcement hacking
vslira · Hacker News · 6h ago
In Australia, a home battery boom has helped cut wholesale power prices
speckx · Hacker News · 13h ago
Where did the old web go? We followed 657,607 links to find out
tdx · Hacker News · 1d ago