SynLogic
MiniMax 开源的可验证逻辑推理合成数据集，带任务生成器与验证器
- 数据类型
- 逻辑推理题；任务生成器；规则验证器
- 规模口径
- HF 数据卡写 35 类可验证逻辑任务；M1 报告写 41 类任务用于 RL
- License
- MIT
- 链接
- huggingface.co
内容与规模
SynLogic 是 MiniMax 发布的逻辑推理合成数据集，每个任务类型同时提供生成器与规则验证器，可无限造题并按难度调节，答案对错由程序判定，天然适配 RLVR 可验证奖励强化学习。数据卡写 35 类可验证逻辑任务；M1 技术报告称其 RL 阶段使用 41 类合成逻辑任务，两处口径不一致，以数据卡当前页为准 ⚠️ [1][2]。
格式与 license
以 HF 数据集形式发布，许可证为 MIT [1]。因题目与答案均由程序生成，不涉及第三方文本版权问题。
谁拿它训练
MiniMax-M1 的 RL 阶段使用其逻辑数据（全部合成），与约 50K 数学可验证题、沙箱 SWE 任务共同构成 RL 数据 [2]。
已知缺陷
题型是规则可生成的逻辑谜题，与真实世界推理任务的分布存在距离；生成器可被刷分的风险见 Grader 与 reward hacking。
来源
相关卡片
卡片整理 2026-10-15。公司自报数据标“公司口径”；⚠️ 为未经独立核实。