Skywork-OR1-RL Mathematical Programming Problem Reasoning Dataset

Skywork-OR1-RL is a mathematical programming problem reasoning dataset released by Skywork in 2023. The relevant research results are:Skywork Open Reasoner 1 Technical Report", which aims to train the Skywork-OR1 (Open Reasoner 1) mathematical programming reasoning model.

The dataset contains 105k math problems and 14k programming problems that are verifiable, challenging, and diverse.