مجموعة بيانات الاستدلال الرياضي s1K-1.1

*تدعم مجموعة البيانات هذه الاستخدام عبر الإنترنت.انقر هنا للقفز.

هذه المجموعة من البيانات هي مجموعة بيانات لحل المشكلات الرياضية تم إصدارها في عام 2025 بواسطة فريق بحثي من جامعة ستانفورد وجامعة واشنطن. ويهدف إلى تعزيز التماسك المنطقي لاشتقاق نماذج اللغة الكبيرة وتحسين تفكيرها المنظم من خلال التفكير الرياضي. نتائج الورقة ذات الصلة هي:s1: مقياس بسيط لوقت الاختبار".

تحتوي مجموعة البيانات على 1000 عينة، تركز على المشكلات الرياضية ومسارات التفكير، وتغطي مجالات رياضية متعددة مثل الجبر والهندسة والاحتمالات. تتضمن كل عينة وصفًا للمشكلة، وخطوات حل المشكلة، والإجابات، ومسارات التفكير التي تم إنشاؤها بواسطة DeepSeek r1.