theorem-search-dataset

theorem-search-dataset הוא דאטהסט בקוד פתוח מאת uw-math-ai. הוא פורסם ב־Hugging Face ב־2026-02-04.

שאלות
נפוצות

מה זה theorem-search-dataset?

theorem-search-dataset הוא דאטהסט בקוד פתוח מאת uw-math-ai. הוא פורסם ב־Hugging Face ב־2026-02-04.

מה הרישיון של theorem-search-dataset?

הרישיון המדווח הוא cc-by-sa-4.0. רישיון קובע מה מותר לעשות עם המודל מסחרית, ולכן כדאי לקרוא אותו ולא להסתפק בשם.

כמה משתמשים ב־theorem-search-dataset?

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