HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
LEGO-Prover: إثبات النظريات العصبية مع مكتبات متزايدة
منذ 6 أشهر
LLM
الاستدلال
معالجة اللغة الطبيعية
النهج/المعمارية
معالجة اللغة الطبيعية
مهمة
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
wiio12/LEGO-Prover
رسمي
HyperAI
HyperAI
الرئيسية
الصفحة الرئيسية
GPU
وحدة التحكم
التوثيق
التسعير
Pulse
الأخبار
الموارد
الأوراق البحثية
دفاتر تفاعلية
مجموعات بيانات
ويكي
الاختبارات القياسية
SOTA
نماذج اللغة الكبيرة (LLM)
لوحة صدارة وحدات معالجة الرسوميات GPU
المجتمع
الفعاليات
أدوات
بحث
حول
شروط الخدمة
سياسة الخصوصية
العربية
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
تسجيل الدخول
HyperAI
الأوراق البحثية
LEGO-Prover: إثبات النظريات العصبية مع مكتبات متزايدة
منذ 6 أشهر
LLM
الاستدلال
معالجة اللغة الطبيعية
النهج/المعمارية
معالجة اللغة الطبيعية
مهمة
ملخص
ورقة بحثية
المعايير المرجعية
الموارد
wiio12/LEGO-Prover
رسمي
الموارد - LEGO-Prover: إثبات النظريات العصبية مع مكتبات متزايدة | مستندات | HyperAI
67
67