4 ms·
"Page not found" for me. Did you manage to access this? What is this about?
by GTP 3mo ago
"Page not found" for me. Did you manage to access this? What is this about?
- sveinbjornp 3mo agofrom 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...