🏷️ #Lean

6 مقال

أبحاث

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

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

أبحاث

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

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

👁 1

أبحاث

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

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

👁 2

أبحاث

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

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

أبحاث

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

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

👁 1

أبحاث

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

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