A CNN trained contrastively on solutions versus perturbed non-solutions guides LLM synthesis of MiniZinc streamliners, delivering up to 932x geometric-mean speedups on hardened benchmarks.
Automatic generation of implied constraints
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions
A CNN trained contrastively on solutions versus perturbed non-solutions guides LLM synthesis of MiniZinc streamliners, delivering up to 932x geometric-mean speedups on hardened benchmarks.