{"id":"arxiv/2611.05726","url":"https://arxiv.org/abs/2611.05726","tags":["cs.LG","cs.AI","cs.DS","math.OC"],"score":0,"title":"Do Language Models Know Which Constraints Belong Together?","domain":"cs.LG","source":"arxiv","authors":["Junbo Jacob Lian","Kaixuan Chen","Hanzhang Qin","Huiling Chen","Chaoyu Zhang","Chung-Piaw Teo"],"reviews":0,"subject":"cs.LG","summary":"Dantzig-Wolfe reformulation strengthens the linear relaxation of a mixed-integer program by convexifying a chosen set of constraint families, and every candidate costs a column generation run. The choice is hard when families strengthen the bound only together, because a search that adds one family at a time then stops at the linear relaxation. The classical inequalities of lot sizing, network design and facility location rest on such zero-marginal groups. We prove that when each evaluation convexifies at most $s$ of $k$ families, any method that observes only bounds needs a covering number…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}