TwIL-LM3-Pro: специализированная логическая модель на базе Granite 4.2

Модель TwIL-LM3-Pro объемом 3.66B параметров, обученная на базе IBM Granite 4.2 исключительно для задач формальной логики, включая проверку логического следствия и индукцию правил. Модель демонстрирует высокие результаты на логических бенчмарках, превосходя более крупные аналоги, и отличается высокой эффективностью при запуске на CPU без GPU.