Search for a command to run...
العنوان: تقليل المعرفة البشرية في التحقق الرسمي للبرامج ذات الحجم الكبير باستخدام التعلم بالتعزيز في نماذج اللغة الكبيرة: دراسة أولية على Dafny