Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
تقدم هذه الورقة البحثية نظام "التركيب الاستقرائي الاستنباطي" (IDS)، وهو نظام لغوي كبير وكيل يقوم بتوليد التنفيذات والبراهين الصورية للأنظمة الموزعة بشكل مشترك، محققاً نسبة نجاح بلغت 100% في مواصفات مخازن القيم المفتاحية مع تقليل الوقت والتكلفة بشكل كبير مقارنة بكل من الخبراء البشريين ووكلاء البرمجة الأكثر تطوراً.