Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification 文章
ArXiv CS.AI2026-05-29NEWSen作者: Haoyang Liu, Jie Wang, Boxuan Niu, Xiongwei Han, Yian Xu, Mingxuan Ye, Zijie Geng, Fangzhou Zhu, Tao Zhong, Mingxuan Yuan, Jianye Hao