Skywork-OR1-RL-Datensatz Zur Problembegründung in Der Mathematischen Programmierung

Skywork-OR1-RL ist ein 2023 von Skywork veröffentlichter Datensatz zur Problembegründung in der mathematischen Programmierung. Die relevanten Forschungsergebnisse sind:Technischer Bericht zu Skywork Open Reasoner 1", dessen Ziel es ist, das mathematische Programmier-Reasoning-Modell Skywork-OR1 (Open Reasoner 1) zu trainieren.

Der Datensatz enthält 105.000 Mathematikprobleme und 14.000 Programmierprobleme, die überprüfbar, anspruchsvoll und vielfältig sind.