HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
HOList: بيئة لتعلم الآلة لإثبات النظريات من الرتبة العليا
منذ 7 أشهر
التعلم القوي
التعلم الآلي
الاستدلال
مجال البحث
النهج/المعمارية
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
Kerram/Deephol-Bert-Zpp
tf
Kerram/holist-train
tf
tensorflow/deepmath/tree/master/deepmath/deephol
tf
HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
HOList: بيئة لتعلم الآلة لإثبات النظريات من الرتبة العليا
منذ 7 أشهر
التعلم القوي
التعلم الآلي
الاستدلال
مجال البحث
النهج/المعمارية
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
Kerram/Deephol-Bert-Zpp
tf
Kerram/holist-train
tf
tensorflow/deepmath/tree/master/deepmath/deephol
tf
3
3
3
3
789
789