1 paper · 1 filter
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…