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