Goedel-LM
4 פרויקטים בקוד פתוח, 48,141 הורדות סך הכול. כל מה שכאן נקרא מ־Hugging Face ב־2026-09-17.
- 4פרויקטים
- 48,141הורדות
- 1רישיון
מודלים של Goedel-LM
כל המודלים ←-
G apache-2.0
Goedel-Prover-V2-32B
מאת Goedel-LM. משימה: text-generation.
דאטהסטים של Goedel-LM
כל הדאטהסטים ←-
L
Lean-workbook-proofs
מאת Goedel-LM.
-
S apache-2.0
SFT_dataset_v2
מאת Goedel-LM.
-
M apache-2.0
MathOlympiadBench
מאת Goedel-LM.
שאלות
נפוצות
מי זה Goedel-LM?
Goedel-LM הוא החשבון שמפרסם 4 פרויקטים בקוד פתוח ב־Hugging Face: 3 דאטהסטים, 1 מודלים. הרשימה כאן נקראה ב־2026-09-17 והמספרים הם מה ש־Hugging Face מדווח.
אפשר להשתמש בהם מסחרית?
הרישיונות שמופיעים בפרויקטים שלהם הם apache-2.0. רישיון נקבע לכל פרויקט בנפרד, ולכן צריך לבדוק אותו בעמוד של הפרויקט עצמו ולא להסיק מאחד על השני.