DeepSeek-ProverBench

DeepSeek-ProverBench הוא דאטהסט בקוד פתוח מאת deepseek-ai. הוא פורסם ב־Hugging Face ב־2025-04-30.

לא דווח רישיון בכרטיס של DeepSeek-ProverBench. בהיעדר רישיון מפורש אין להניח שימוש מסחרי מותר.

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