Модель формальной логики на базе Granite 4.2 3B

Компания webAI выпустила модель TwIL LM3 Pro объемом 3.66 млрд параметров, созданную на основе IBM Granite 4.2 3B и дообученную исключительно для задач формальной логики. Модель использует методы LoRA SFT, слияние чекпоинтов и обучение с подкреплением против верификатора, показав высокие результаты в проверке логических выводов и анализе доказательств Lean при минимальных требованиях к ресурсам.