Математические задачи с трассировками рассуждений

Что внутри

Текстовый англоязычный датасет: 516 499 математических задач из AI-MO/NuminaMath-1.5 и 1 209 403 трассировки решений, сгенерированные DeepSeek R1. В среднем около 2,3 решения на задачу; ответы перепроверены через Math Verify и LLM-as-Judge на Llama-3.3-70B-Instruct.

Что можно сделать

• SFT модели математического reasoning
• Обучение верификатора или reward-модели для проверки решений
• Оценка качества пошаговых рассуждений

Модели, обученные на нём

• estevaotati/KIMIAРазметка токенов 0

Как загрузить

from datasets import load_dataset

ds = load_dataset("open-r1/OpenR1-Math-Raw")