4 ms·
from the web archive: Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalizat
by sveinbjornp 3mo ago
from the web archive:
Leanstral 1.5 - June 30, 2026
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
https://web.archive.org/web/20260630223430/https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06 https://web.archive.org/web/20260630223430/https://docs.mist...