Papers by Weichun Shi
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming (2025.emnlp-main)
Copied to clipboard
| Challenge: | Constraint programming (CP) is a powerful paradigm for solving constraint optimization problems. |
| Approach: | They propose to use an open-source LLM to generate formal modeling for COPs. |
| Outcome: | The proposed model outperforms the baselines on the new IndusCP benchmark by 2x. |