HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
تعلم إثبات النظريات من خلال التفاعل مع مساعدي الإثبات
منذ 7 أشهر
التعلم الآلي
التعلم العميق
توليد الشفرة
مجال البحث
معالجة اللغة الطبيعية
مهمة
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
princeton-vl/CoqGym
رسمي
pytorch
HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
تعلم إثبات النظريات من خلال التفاعل مع مساعدي الإثبات
منذ 7 أشهر
التعلم الآلي
التعلم العميق
توليد الشفرة
مجال البحث
معالجة اللغة الطبيعية
مهمة
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
princeton-vl/CoqGym
رسمي
pytorch
الموارد - تعلم إثبات النظريات من خلال التفاعل مع مساعدي الإثبات | مستندات | HyperAI
414
414