🏷️ #Lean

10 مقال

أبحاث

ثورة جديدة في التقييم التلقائي: اكتشاف أساليب موثوقة للتقييم الدلالي في التحويل الآلي

أركايف للذكاءمنذ 2 يوم

👁 1

أبحاث

تطور مذهل في إثبات النظريات: تعرف على ProofEvolve!

أركايف للذكاءمنذ 6 يوم

👁 1

أبحاث

FaithSieve: ثورة في تقييم الأدلة الرياضية باستخدام الذكاء الاصطناعي!

أركايف للذكاءمنذ 6 يوم

👁 1

أبحاث

فيثاغورث الذكاء الاصطناعي: هل تستطيع الوكلاء الذكائيون بناء مستودعات برمجية موسومة رسميًا؟

أركايف للذكاءمنذ 20 يوم

👁 2

أبحاث

تجاوز التجميع: تقييم تحويل اللغة الطبيعية إلى بيانات رسمية بدقة

أركايف للذكاءمنذ 2 شهر

أبحاث

إعادة النظر في تقييمات البرمجة: الكشف عن عيوب البيانات في برهان المبرهنات!

أركايف للذكاءمنذ 2 شهر

👁 2

أبحاث

تعزيز التعلم المعزز بإصدار موثوق: خطوة جديدة نحو إثبات النظريات مع Lean

أركايف للذكاءمنذ 2 شهر

👁 2

أبحاث

Pythagoras-Prover: ثورة جديدة في إثباتات المبرهنات باستخدام Lean!

أركايف للذكاءمنذ 2 شهر

👁 3

أبحاث

ثورة نماذج اللغة الكبيرة: تقييم فعالية إثباتات الرياضيات في Lean

أركايف للذكاءمنذ 2 شهر

👁 2

أبحاث

تحكم المخاطر: كيف يغير Lean طريقة تقييم الإجابات الرياضية بلغة الطبيعة؟

أركايف للذكاءمنذ 3 شهر

👁 1