Weichun Shi

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming

Constraint programming (CP) is a crucial technology for solving real-world constraint optimization problems (COPs), with the advantages of rich modeling semantics and high solving efficiency. Using large language models (LLMs) to generate formal modeling automatically for COPs is becoming a promisin