🏷️ #TLA+

3 مقال

$تجربة مبتكرة في الذكاء الاصطناعي: إطلاق TLA$^{+}$-Bench لتقييم دقة تحويل اللغة الطبيعية إلى مواصفات TLA$^{+}$!$

تجربة مبتكرة في الذكاء الاصطناعي: إطلاق TLA$^{+}$-Bench لتقييم دقة تحويل اللغة الطبيعية إلى مواصفات TLA$^{+}$!

أركايف للذكاءمنذ 1 شهر

هل يمكن لنماذج اللغات الضخمة كتابة مواصفات TLA+ صحيحة؟ دراسة شاملة لتوليد TLA+ من اللغة الطبيعية

هل يمكن لنماذج اللغات الضخمة كتابة مواصفات TLA+ صحيحة؟ دراسة شاملة لتوليد TLA+ من اللغة الطبيعية

أركايف للذكاءمنذ 3 شهر

TLA-Prover: ثورة في توليد المواصفات القابلة للتحقق للأنظمة الموزعة!

TLA-Prover: ثورة في توليد المواصفات القابلة للتحقق للأنظمة الموزعة!

أركايف للذكاءمنذ 3 شهر