Improving Constraint Models with LLM Agents

arXiv:2608.08127 · cs.AI, cs.LO, cs.SE · Submitted 2026-08-08 · Read on arXiv

cs.AI, cs.LO, cs.SE

Submitted: 2026-08-08

Updated: 2026-09-22

Code: https://github.com/szeider/agentic-python-coder

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Constraint Programming — 16× in this paper
Symmetry Breaking — 13× in this paper · explained in 4 episodes
Benchmark — 6× in this paper · explained in 2 episodes
Large Language Model — 6× in this paper
Combinatorial Optimization — 5× in this paper · explained in 2 episodes
Agentic Framework — 3× in this paper · explained in 7 episodes
Core — 3× in this paper · explained in 2 episodes
Large Language Model (LLM) — 2× in this paper · explained in 3 episodes
Trace — 2× in this paper · explained in 2 episodes
Ablation — 1× in this paper · explained in 1 episode
Ablation Studies — 1× in this paper · explained in 1 episode
Evaluation Protocol — 1× in this paper · explained in 2 episodes
Generative AI — 1× in this paper · explained in 2 episodes
In-Context Learning — 1× in this paper · explained in 7 episodes
Language Models (LLMs) — 1× in this paper · explained in 2 episodes
Large Language Models (LLMs) — 1× in this paper · explained in 9 episodes
Semantic Correctness — 1× in this paper · explained in 2 episodes

Sources

Related papers