Leanstral 1.5
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
Summary not yet generated for this article.
Comments (147 of ) ⌛