From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
تقترح هذه الورقة طريقة إصلاح موجهة باللب الأدنى (minimal-core-guided) لحل القيود العصبي-الرمزي، تستبدل أخطاء الحلول العامة بنوى عدم إرضاء دقيقة لتحديد مواقع أخطاء الترجمة، مما يقلل بشكل جذري من فبركة الحلول ويضمن حل المشكلات بموثوقية حتى عندما تكون الترجمة الأولية غير أمينة.