🏷️ #TLA+
1 مقال
أبحاث
هل يمكن لنماذج اللغات الضخمة كتابة مواصفات TLA+ صحيحة؟ دراسة شاملة لتوليد TLA+ من اللغة الطبيعية
أركايف للذكاء
منذ 6 ساعة
