30 juin 2026Blog
Dépréciév1.5
Leanstral 1.5
Un modèle mis à jour pour l’ingénierie de preuves formelles Lean 4, optimisé pour la démonstration automatique de théorèmes et l’autoformalisation. 119B paramètres au total, 6,5B actifs.
Modalités
Contexte
256k
Sortie max
128k
Ce modèle est déprécié et sera progressivement retiré.
Date de dépréciation29/09/2026
Other Models
