ended7월 2일· 1 sources
Leanstral 1.5
Why it matters
Leanstral 1.5 (docs.mistral.ai)- Leanstral 1.5는 Lean 4 형식 증명 엔지니어링에 맞춘 업데이트 모델로, 자동 정리 증명과 자동 형식화를 겨냥함 - 모델 규모는 총 119B 파라미터와 6.5B 활성 파라미터 구성이며, 긴 증명·문서 맥락 처리를 전제로 함 - 제공 식별자는 labs-leanstral-1-5 이고, 문서...
1
Sources
+0
24h
—
Growth
81d
Active