CP-SynC tackles a brittle step in LLM-assisted constraint programming by adding synthesized checkers for zero-shot MiniZinc modeling. The work is relevant to agentic code generation because it closes the loop between model synthesis and validation, reducing silent semantic errors.
arXiv:2605.01675v1 Announce Type: new Abstract: Constraint Programming (CP) is a powerful paradigm for solving combinatorial problems, yet translating natural language problem descriptions into executable models remains a significant bottleneck. While Large Language Models (LLMs) show promise in automating this translation, they often struggle with subtle semantic errors in the absence of oracle validation at test time. To address this, we introduce CP-SynC (Constraint Programming modeling with…