TY  - RPRT
TI  - Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
AU  - Haoyu Wang
AU  - Yuliang Song
AU  - Tao Li
AU  - Zhiwei Deng
AU  - Yaqing Wang
AU  - Deepak Ramachandran
AU  - Eldan Cohen
AU  - Dan Roth
PY  - 2026
UR  - https://arxiv.org/abs/2605.12421
ID  - 2605.12421
ER  -