🏷️ #البراهين
1 مقال
أبحاث
ثورة CAPRI: تعزيز تصحيح براهين Isabelle باستخدام نماذج لغوية ضخمة!
أركايف للذكاء
منذ 1 شهر
👁 2
