🏷️ #Lean
15 مقال
أبحاث
في عالم الذكاء الاصطناعي: تعرف على نظام VeriPIE الثوري لتحويل اللغة الطبيعية إلى SQL!
أركايف للذكاءمنذ 3 يوم
أبحاث
SCOPE: تعزيز إثبات النظريات باستخدام نموذج لغوي لتحقيق التخطيط المثالي
أركايف للذكاءمنذ 11 يوم
👁 2أبحاث
FORALL-LEAN-AGENT: ثورة في البرهنة القابلة للتدقيق والتحقق البرمجي
أركايف للذكاءمنذ 16 يوم
👁 2أبحاث
إطلاق واجهة جديدة لتعزيز فعالية البرمجة الرياضية باستخدام الذكاء الاصطناعي
أركايف للذكاءمنذ 17 يوم
👁 1أبحاث
ثورة جديدة في الفيزياء: تدشين AxQM كمعيار عالمي لإنتاج براهين دقيقة!
أركايف للذكاءمنذ 1 شهر
👁 2أبحاث
ثورة جديدة في التقييم التلقائي: اكتشاف أساليب موثوقة للتقييم الدلالي في التحويل الآلي
أركايف للذكاءمنذ 1 شهر
👁 4أبحاث
FaithSieve: ثورة في تقييم الأدلة الرياضية باستخدام الذكاء الاصطناعي!
أركايف للذكاءمنذ 1 شهر
👁 8أبحاث
تطور مذهل في إثبات النظريات: تعرف على ProofEvolve!
أركايف للذكاءمنذ 1 شهر
👁 3أبحاث
فيثاغورث الذكاء الاصطناعي: هل تستطيع الوكلاء الذكائيون بناء مستودعات برمجية موسومة رسميًا؟
أركايف للذكاءمنذ 2 شهر
👁 11أبحاث
تجاوز التجميع: تقييم تحويل اللغة الطبيعية إلى بيانات رسمية بدقة
أركايف للذكاءمنذ 3 شهر
👁 1أبحاث
إعادة النظر في تقييمات البرمجة: الكشف عن عيوب البيانات في برهان المبرهنات!
أركايف للذكاءمنذ 3 شهر
👁 4أبحاث
تعزيز التعلم المعزز بإصدار موثوق: خطوة جديدة نحو إثبات النظريات مع Lean
أركايف للذكاءمنذ 4 شهر
👁 2أبحاث
Pythagoras-Prover: ثورة جديدة في إثباتات المبرهنات باستخدام Lean!
أركايف للذكاءمنذ 4 شهر
👁 10أبحاث
ثورة نماذج اللغة الكبيرة: تقييم فعالية إثباتات الرياضيات في Lean
أركايف للذكاءمنذ 4 شهر
👁 9أبحاث
تحكم المخاطر: كيف يغير Lean طريقة تقييم الإجابات الرياضية بلغة الطبيعة؟
أركايف للذكاءمنذ 4 شهر
👁 2