GPT
S

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

SFT_dataset_v2

SFT_dataset_v2 הוא דאטהסט בקוד פתוח מאת Goedel-LM. הוא פורסם ב־Hugging Face ב־2026-02-25.

  • theorem-proving
  • lean4
  • code
ב־Hugging Face ↗
מזהה
Goedel-LM/SFT_dataset_v2
רישיון
apache-2.0
הורדות
496
לייקים
31

שאלות
נפוצות

מה זה SFT_dataset_v2?

SFT_dataset_v2 הוא דאטהסט בקוד פתוח מאת Goedel-LM. הוא פורסם ב־Hugging Face ב־2026-02-25.

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

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

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

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

עוד דאטהסטים

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