s1K-claude-3-7-sonnet

מה זה

הרשומות במאגר מציגות שאלות מתמטיות מורכבות, כפי שמודגם מפורום aops, כשלצדן פתרון סופי ושרשראות חשיבה מפורטות. המבנה כולל שדות ייעודיים כמו שאלת המקור, סוג שרשרת החשיבה, הפתרון המוצע, ומטא-דאטה שמפרט את שיחת ה־CoT המקורית.

הייחוד בנתונים הוא הפירוט של מסלולי החשיבה הפנימיים. כל רשומה מציגה את מהלכי המחשבה של מודלים שונים, כמו gemini_thinking_trajectory וניסיונות של קלוד, לצד הניסיון שנכשל או הצליח לפני ההגעה לתשובה הסופית. המאגר נבנה באמצעות כלי האוצרות Curator, ומקור הבעיות מבוסס על NuminaMath-CoT.

המאגר מורכב מקובץ נתונים יחיד, ללא חלוקה מפורטת לקבוצות אימון, מבחן או תיקוף בתוך הכרטיס. הנתונים מתרכזים סביב שאלות הוכחה וחישוב ברמה אקדמית ותחרותית.

מתאים ל

• אימון מודלי הסקה מתמטית

  משפר יכולות פתרון בעיות ופיתוח שרשראות חשיבה מתמטיות ארוכות במודלים.

• השוואת מסלולי חשיבה

  מאפשר ניתוח הבדלים בין דפוסי הפתרון של מודלים שונים על אותה שאלה.

• הערכת ביצועי מודלים

  משמש לבחינת עומק ההסקה המתמטית של מודלי שפה על בעיות תחרותיות.

איפה זה נופל

הכרטיס דל מאוד בפרטים טכניים על היקף הדגימות המדויק או אופן הסינון. כל הטקסטים וההסברים כתובים באנגלית ובשפת סימנים מתמטית, ואין בו שום תוכן בעברית. שרשראות החשיבה הסינתטיות של המודלים עשויות להכיל טעויות לוגיות וחישוביות שלא אומתו ידנית. אם אתם בונים מערכת שמסתמכת על דיוק מוחלט, תצטרכו להריץ בדיקת איכות עצמאית על הפתרונות.

איך טוענים

טוענים את הנתונים ישירות דרך ספריית datasets של Hugging Face באמצעות המזהה simplescaling/s1K-claude-3-7-sonnet. המאגר פתוח לציבור ואינו דורש אישור גישה מוקדם או מפתח מיוחד. הקובץ המרכזי שמור בפורמט Parquet יחיד תחת תיקיית data, והשדות העיקריים לעבודה הם question, solution, ושדות ה־thinking trajectory שמכילים את תהליכי ההסקה.

from datasets import load_dataset

ds = load_dataset("simplescaling/s1K-claude-3-7-sonnet")

הרישיון

המאגר מופץ תחת רישיון MIT. הרישיון הזה מתיר שימוש חופשי לחלוטין, כולל שימוש מסחרי, שינוי הנתונים ואימון מודלים ללא דרישה לשתף את התוצרים באותו רישיון, ומחייב רק מתן קרדיט ושמירת הודעת זכויות היוצרים המקורית.

• שימוש מסחרי
• שינוי הקוד
• הפצה מחדש

הרישיון המלא ב־Hugging Face ↗