webAI представляет TwIL-LM: семейство моделей формальной логики для локальной автоформализации
Компания webAI выпустила TwIL-LM — семейство из двух моделей формальной логики с параметрами 1,7B и 3B, предназначенных для локального запуска. Модели специализируются на автоформализации, переводя английский язык в логику первого порядка. Они выпущены под некоммерческой лицензией.
MarkTechPost11.08 · 10:01