Текстовая дообученная модель преобразует математическую задачу и префикс рассуждений в более простую задачу для экспериментов с обучением решателей с подкреплением.

Подходит для: подготовка сокращённых математических задач с учётом префикса решения · создание стартовой модели для RL-обучения решателей математических задач · исследование влияния сокращения задачи на последующее решение