Skywork-OR1-RL 是 Skywork 于 2023 年发布的一个数学编程问题推理数据集，相关研究成果为：「Skywork Open Reasoner 1 Technical Report」，旨在训练 Skywork-OR1（Open Reasoner 1）数学编程推理模型。

该数据集包含可验证、具有挑战性且多样化的 105k 个数学问题和 14k 个编程问题。