The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals
تقدم هذه الورقة DELSCOUT، وهو إطار عمل يعطي الأولوية لترتيب مرشحي حذف الكود على ثقة النموذج من أجل إزالة الكود الزائد بأمان في ظل ميزانيات تحقق محدودة، مما يثبت أن الجدول الهجين من المقترحات الاستاتيكية والمتعلمة يعظم عمليات الحذف المتحقق منها مع ضمان الحفاظ على السلوك من خلال سلطة التنفيذ.