Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
Haoyu Wang, Yuliang Song, Tao Li +5
Large Language Models (LLMs) struggle to solve complex combinatorial problems through direct reasoning, so recent neuro-symbolic systems increasingly use them to synthesize executa…
cs.AI2026
CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers
Yuliang Song, Eldan Cohen
Constraint Programming (CP) is a powerful paradigm for solving combinatorial problems, yet translating natural language problem descriptions into executable models remains a signif…