webAI представляет TwIL-LM: семейство моделей формальной логики для локальной автоформализации
Компания webAI выпустила TwIL-LM — семейство из двух моделей формальной логики с параметрами 1,7B и 3B, предназначенных для локального запуска. Модели специализируются на автоформализации, переводя английский язык в логику первого порядка. Они выпущены под некоммерческой лицензией.
webAI выпустила TwIL-LM — семейство из двух моделей для формально-логических рассуждений с параметрами 1,7B и 3B. Модель с 3B параметрами, TwIL-LM3, представляет собой объединённую тонкую настройку SmolLM3-3B; модель с 1,7B параметрами — это PEFT-адаптер LoRA для SmolLM2-1.7B-Instruct. Обе модели нацелены на автоформализацию: перевод английского языка в логику первого порядка и проверку того,
Показать ещё ↓
Источник: MarkTechPost —
оригинал