Command Palette
Search for a command to run...
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.
KI mit KI entwickeln
Von der Idee bis zum Launch – beschleunigen Sie Ihre KI-Entwicklung mit kostenlosem KI-Co-Coding, sofort einsatzbereiter Umgebung und bestem GPU-Preis.