🏷️ #الإثباتات الرسمية
1 مقال
أبحاث
LEAP: تعزيز نماذج اللغات الضخمة لإثبات الرياضيات بشكل رسمي بإطارات عمل مبتكرة!
أركايف للذكاء
منذ 1 يوم