webAI представила TwIL — семейство моделей для формальной верификации, превосходящих 120B модели

webAI выпустила три модели TwIL (1.7B–3B) для перевода и верификации формальной логики. Модель на 3B параметров превосходит gpt-oss-120b на 4 из 5 бенчмарков формального рассуждения при размере в 40 раз меньше, используя интерполяцию весов WiSE-FT для контроля катастрофического забывания. Модели доступны на HuggingFace с некоммерческой лицензией и работают на потребительских устройствах.