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.
Build AI with AI
From idea to launch — accelerate your AI development with free AI co-coding, out-of-the-box environment and best price of GPUs.