LLM-Solve 2026
Blog: Decision Management Community
The workshop “LLMs meet Constraint Solving (LLM-Solve)” aims to bring together researchers exploring the intersection of Large Language Models (LLMs) and Constraint Solving (CP, SAT, SMT, MIP, and related paradigms). This workshop provides a platform to discuss recent advances, challenges, and opportunities in combining LLMs and constraint solving.
