1 451 верифицированная трасса рассуждений от DeepSeek v4.1 Flash с максимальным усилием, деконтаминированная относительно AIME и MATH-500 — MIT

Представлен датасет из 1 451 сложной математической задачи с полностью корректными трассами рассуждений от DeepSeek V4.1 Flash. Каждая трасса проверена детерминированным sympy-грейдером и судьёй Qwen3.5-4B, а набор очищен от пересечений с MATH-500 и 993 задачами AIME. Датасет распространяется под лицензией MIT и предназначен для SFT/дистилляции малых моделей рассуждений.