GPT
הוספת כלי
M

דאטהסטים · Goedel-LM

MathOlympiadBench

MathOlympiadBench הוא דאטהסט בקוד פתוח מאת Goedel-LM. הוא פורסם ב־Hugging Face ב־2025-07-15.

  • mathematics
  • theorem-proving
  • formal-methods
  • lean4
ב־Hugging Face ↗
מזהה
Goedel-LM/MathOlympiadBench
רישיון
apache-2.0
הורדות
436
לייקים
17

שאלות
נפוצות

מה זה MathOlympiadBench?

MathOlympiadBench הוא דאטהסט בקוד פתוח מאת Goedel-LM. הוא פורסם ב־Hugging Face ב־2025-07-15.

מה הרישיון של MathOlympiadBench?

הרישיון המדווח הוא apache-2.0. רישיון קובע מה מותר לעשות עם המודל מסחרית, ולכן כדאי לקרוא אותו ולא להסתפק בשם.

כמה משתמשים ב־MathOlympiadBench?

436 הורדות ו־17 לייקים לפי Hugging Face. מספרי הורדה מודדים שימוש אוטומטי לא פחות מאשר אנושי, אז הם סימן לפופולריות ולא מדד איכות.

עוד דאטהסטים

כל הדאטהסטים ←