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

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