WSAI-Math-Distill

WSAI-Math-Distill 是一个严格验证的数学长思维链蒸馏数据集，包含 train（3,867 条，经严格判分确认正确）与 rejected（2,582 条，供拒收分析研究）两个 split。题目选自 OpenR1-Math-220k 的 AMC/AIME、奥赛及 AoPS 论坛来源（去污染后 6,245 题），思维链由 DeepSeek deepseek-v4-flash（thinking 模式）逐题生成，通过率 61%。数据集把答案验证与评测去污染作为一等公民：每条样本的预测均以最严格原始口径（精确字符串相等 + math_verify 严格语义验证 + 浮点精确相等，不做任何规范化）与题库标准答案判等；每道题均对 AIME 2024/2025 与 HLE 做 8-gram 指纹去污染。规模精小但每条可溯源、判分零水分，适合作为小模型数学推理冷启动的高置信种子集，或作为更大混合训练配方中的“纯度锚点”。采用 Apache-2.0 许可。