Компактный локальный трансформер для генерации рассуждений и доказательств, предназначенный для оценки и экспериментов.

Подходит для: генерация пошаговых рассуждений · составление доказательств в текстовой форме · локальная оценка генерации рассуждений