BL
MarkTechPost • 46일 전
webAI, 로컬 하드웨어용 형식 논리 모델 TwIL-LM 공개
IMP 6/10
핵심 요약
webAI가 영어 문장을 1차 논리(first-order logic)로 번역하고 논리적 타당성을 검증할 수 있는 17억(1.7B) 및 30억(3B) 매개변수 크기의 형식 논리 모델 패밀리인 TwIL-LM을 공개했습니다. 이 모델은 4GB VRAM 또는 CPU 환경에서도 구동되어 온디바이스(로컬) 환경에서의 활용이 가능하다는 점에서 중요합니다. 다만, 공개된 가중치는 비상업적 용도로만 제공되며 공식 벤치마크 점수는 미공개 버전 기준임에 유의해야 합니다.
번역된 본문
webAI는 영어를 1차 논리(first-order logic)로 번역하고 결론이 전제로부터 도출되는지 검증할 수 있는 17억(1.7B) 및 30억(3B) 매개변수 크기의 형식 논리(formal-logic) 모델 패밀리인 TwIL-LM을 릴리스했습니다. 30억 매개변수 모델(3B)은 CPU 또는 4GB VRAM에서 구동되며, 17억 매개변수 모델(1.7B)은 1.06GB 용량으로 다운로드할 수 있습니다. 두 모델 모두 비상업적(non-commercial) 라이선스로 제공됩니다. 또한 모델 카드에 따르면, 발표된 주요 벤치마크 점수는 허브(Hub)에 업로드된 가중치가 아닌 아직 공개되지 않은 체크포인트(checkpoint) 기준의 점수입니다.
웹AI가 로컬 하드웨어에서의 자동 형식화(Autoformalization)를 위한 1.7B 및 3B 크기의 형식 논리 모델 패밀리인 TwIL-LM을 릴리스했다는 기사는 MarkTechPost에 처음 게재되었습니다.
원문 보기 (영어)
webAI has released TwIL-LM, a family of formal-logic models at 1.7B and 3B parameters that translate English into first-order logic and check whether conclusions follow from premises. The 3B runs on CPU or 4GB of VRAM; the 1.7B downloads at 1.06GB. Both ship under a non-commercial license. The model card also shows that the headline benchmark scores belong to an unreleased checkpoint, not the weights on the Hub.
The post webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware appeared first on MarkTechPost.