Leanstral 1.5 - Mistral AI

1 / 3

309

Hacker News·3 months ago

Reading 0:00

15s threshold

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

Anonymous readers can preview up to 1024 characters here. Log in to unlock the full article once ingest succeeds.

Menu