← 피드로
Leanstral 1.5는 Lean 4 형식 증명 엔지니어링에 맞춘 업데이트 모델로, 자동 정리 증명과 자동 형식화를 겨냥함 모델 규모는 총 119B 파라미터와 6.5B 활성 파라미터 구성이며, 긴 증명·문서 맥락 처리를 전제로 함 제공 식별자는 <cod…
출처: news.hada.io · https://news.hada.io/topic?id=31016
답글 남기기