1 paper
Xizi Luo, Changhong He, Dongdong Geng +2
Large language models (LLMs) can generate executable solver code from natural-language descriptions of optimization problems. However, existing verification signals focus on whethe…