TY - RPRT TI - ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming AU - Weichun Shi AU - Minghao Liu AU - Wanting Zhang AU - Langchen Shi AU - Fuqi Jia AU - Feifei Ma AU - Jian Zhang PY - 2025 DO - 10.18653/v1/2025.emnlp-main.809 UR - https://arxiv.org/abs/2510.05774 ID - 2510.05774 ER -