🏷️ #التحقق الرسمي
13 مقال
أبحاث
نظرية غير قابلة للتطبيق: تحديات جديدة للمجالات الأمنية ونظم الذكاء الاصطناعي
أركايف للذكاءمنذ 9 يوم
👁 1أبحاث
ثورة في تحقيق الخصائص! إطار NeuroAbs للطريقة الرمزية العصبية يُسرع عملية التحقق من تصميمات الأجهزة
أركايف للذكاءمنذ 25 يوم
👁 2أبحاث
اكتشاف HierSVA: ثورة في التحقق الرسمي للأجهزة باستخدام نماذج الذكاء الاصطناعي
أركايف للذكاءمنذ 3 شهر
👁 3أبحاث
وصايا رسمية لبرامج أدوات الذكاء الاصطناعي: نهج حسابي مبتكر للإثبات
أركايف للذكاءمنذ 3 شهر
👁 1أدوات
ثورة في التحقق الرسمي: مقدّم الإثباتات في Isabelle/HOL
أركايف للذكاءمنذ 3 شهر
👁 1أبحاث
ثورة في الرياضيات: تكوين مكتبة نصوص رياضية مؤتمتة عبر AutoformBot
أركايف للذكاءمنذ 3 شهر
أبحاث
كيف يغير Verifier Neural Network α-β-CROWN قواعد اللعبة في أنظمة التحكم؟
أركايف للذكاءمنذ 3 شهر
👁 1أبحاث
إطلاق SpecAlign: الإطار الثوري لمواءمة الدلالات في توليد Assertions بلغة SystemVerilog!
أركايف للذكاءمنذ 3 شهر
أبحاث
ثلاث طرق مبتكرة للتحقق الرسمي من مهارات الوكلاء: دليل شامل لبرهان القدرة القابل للتحقق ميكانيكياً
أركايف للذكاءمنذ 3 شهر
أخلاقيات الذكاء الاصطناعي
دور الذكاء الاصطناعي في ثورة الممارسة القانونية: بين التحديات والفرص!
أركايف للذكاءمنذ 4 شهر
👁 1أدوات
ثورة في الأمان الرقمي: تقديم Super-DeepG للتحقق من القوة الهندسية للنماذج العصبية!
أركايف للذكاءمنذ 4 شهر
أبحاث
الذكاء الاصطناعي في تطوير البرمجيات: من الاحتمال إلى الإثبات!
أركايف للذكاءمنذ 4 شهر
👁 2أبحاث
اكتشاف ثغرات التحكم في الذكاء الاصطناعي: كشف أسرار شبكة كود زيرو-ثلاثة!
أركايف للذكاءمنذ 4 شهر
👁 2