Weichun Shi Minghao Liu Wanting Zhang Langchen Shi Fuqi Jia et al

الملخص

يُعد البرمجة المحدودة (CP) تقنية حيوية لحل المشكلات الواقعية المُحددة بالقيود (COPs)، بفضل مزاياها في تمثيل النماذج الغنية وفعالية الحل العالية. وتشكل عملية استخدام النماذج اللغوية الكبيرة (LLMs) لتوليد نماذج رسمية تلقائيًا لمشاكل COPs منهجًا واعدًا، ويهدف إلى بناء ذكاء اصطناعي نيو-سيمبوس (Neuro-Symbolic) موثوق من خلال الاستفادة من مُحلّلات الرموز. ومع ذلك، لم تحظَ البرمجة المحدودة باهتمامٍ مماثل لما حظيت به الدراسات القائمة على نماذج بحوث العمليات (OR). نقدّم "ConstraintLLM"، أول نموذج لغوي كبير مصمم خصيصًا لتمثيل البرمجة المحدودة، والذي تم تدريبه على نموذج لغوي كبير مفتوح المصدر باستخدام تقنية التدريب الدقيق المُرشد متعدد التعليمات. ونُقدّم وحدة الاسترجاع المُتّسقة مع القيود (CARM) لتعزيز قدرات التعلّم ضمن السياق، وتُدمج هذه الوحدة ضمن إطار عمل "شجرة الأفكار" (ToT) مع آلية تصحيح ذاتي مُرشدة. علاوةً على ذلك، قمنا ببناء ونشر "IndusCP"، أول معيار صناعي مُخصص لتمثيل البرمجة المحدودة، يحتوي على 140 مهمة صعبة مستمدة من مجالات متعددة. تُظهر تجاربنا أن نموذج ConstraintLLM يحقق دقة حل متميزة على عدة معايير، ويتفوق على النماذج الأساسية بمرتين على معيار IndusCP الجديد. يمكن الوصول إلى الكود والبيانات عبر الرابط التالي: this https URL.