F
דאטהסטים · lm-provers
FineProofs-SFT
FineProofs-SFT הוא דאטהסט בקוד פתוח מאת lm-provers. הוא פורסם ב־Hugging Face ב־2026-02-04.
- math
- reasoning
- olympiad
- proof-generation
- chain-of-thought
- מזהה
- lm-provers/FineProofs-SFT
- רישיון
- apache-2.0
- הורדות
- 211
- לייקים
- 43
שאלות
נפוצות
מה זה FineProofs-SFT?
FineProofs-SFT הוא דאטהסט בקוד פתוח מאת lm-provers. הוא פורסם ב־Hugging Face ב־2026-02-04.
מה הרישיון של FineProofs-SFT?
הרישיון המדווח הוא apache-2.0. רישיון קובע מה מותר לעשות עם המודל מסחרית, ולכן כדאי לקרוא אותו ולא להסתפק בשם.
כמה משתמשים ב־FineProofs-SFT?
211 הורדות ו־43 לייקים לפי Hugging Face. מספרי הורדה מודדים שימוש אוטומטי לא פחות מאשר אנושי, אז הם סימן לפופולריות ולא מדד איכות.
עוד דאטהסטים
כל הדאטהסטים ←-
D apache-2.0
DeepGen-1.0
מאת deepgenteam.
-
S
Scale-SWE
מאת AweAI-Team.
-
G
GenMRP
מאת GD-ML.