MP
MarkTechPost • 46일 전
IMP 6
webAI, 로컬 하드웨어용 형식 논리 모델 TwIL-LM 공개
webAI가 영어 문장을 1차 논리(first-order logic)로 번역하고 논리적 타당성을 검증할 수 있는 17억(1.7B) 및 30억(3B) 매개변수 크기의 형식 논리 모델 패밀리인 TwIL-LM을 공개했습니다. 이 모델은 4GB VRAM 또는 CPU 환경에서도 구동되어 온디바이스(로컬) 환경에서의 활용이 가능하다는 점에서 중요합니다. 다만, 공개된 가중치는 비상업적 용도로만 제공되며 공식 벤치마크 점수는 미공개 버전 기준임에 유의해야 합니다.
로컬AI 형식논리 소형언어모델