Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer
تقدم هذه الورقة البحثية إطار عمل "التفكيك المدرك للمحلل" (SAD)، وهو إطار تدريب يحسن عملية التوليف عبر البرمجة بالمثال من خلال تحسين المفككات لتكون قابلة للتتبع من قبل المحلل بدلاً من الالتزام الصارم بالأهداف الفرعية للأرضية الحقيقية، مما يثبت أن جودة التفكيك نسبية بالنسبة للمحلل وأن المطابقات غير المثالية للأرضية الحقيقية يمكن أن تؤدي إلى أداء فائق في نهاية المطاف.