Formal Policy Enforcement for Real-World Agentic Systems
تقدم هذه الورقة إطار عمل FORGE، الذي يستفيد من البرمجة الموجهة بالجوانب والتحقق الرسمي القائم على Datalog لفرض سياسات أمنية بضمانات صارمة عبر الأنظمة الوكيلة، معالجةً بذلك حدود الامتثال القائم على المطالبات باللغة الطبيعية في البيئات متعددة الوكلاء.