A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
تقترح هذه الورقة البحثية إطار عمل A-IC3، وهو إطار تعلم آلي خفيف الوزن يستخدم خوارزمية "المتعدد الأذرع" (multi-armed bandit) لاختيار استراتيجيات التعميم الاستقرائي المثلى لخوارزمية التحقق من النماذج لعتاد IC3 بشكل ديناميكي، مما يحسن أداءه وقابليته للتوسع بشكل كبير على مجموعة اختبار معيارية ضخمة.