Skywork-OR1-RL 数理計画問題推論データセット

Skywork-OR1-RLは、Skyworkが2023年にリリースした数理計画問題推論データセットです。関連する研究成果は次のとおりです。Skywork Open Reasoner 1 技術レポート「Skywork-OR1 (Open Reasoner 1) 数理計画法推論モデルのトレーニングを目的としています。」

このデータセットには、検証可能で、挑戦的で、多様な 105,000 件の数学の問題と 14,000 件のプログラミングの問題が含まれています。