SynLogic

该数据集能够大规模生成多样化的逻辑推理数据，覆盖了35个不同的逻辑推理任务。它具备可调整的难度级别，并且可以通过简单的规则进行验证，这使得它非常适合用于具有可验证奖励的强化学习。这一大型、多样化的数据集，其任务专注于逻辑推理。