مجموعة بيانات استدلال مسائل البرمجة الرياضية Skywork-OR1-RL

Skywork-OR1-RL هي مجموعة بيانات لحل مشكلات البرمجة الرياضية أصدرتها Skywork في عام 2023. نتائج البحث ذات الصلة هي:تقرير فني عن Skywork Open Reasoner 1"، والذي يهدف إلى تدريب نموذج البرمجة الرياضية Skywork-OR1 (Open Reasoner 1).

تحتوي مجموعة البيانات على 105 ألف مسألة رياضية و14 ألف مسألة برمجة قابلة للتحقق وتشكل تحديًا وتنوعًا.