Моделът TwIL-LM2 демонстрира, че силно специализиран AI с 1.7 млрд параметъра може да надмине значително по-големи модели с общо предназначение в строги задачи по формална логика. Този резултат предполага, че тясното дообучаване осигурява по-ефективен път за сложни разсъждения, отколкото разчитането единствено на по-голям мащаб на модела.