OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling - YANG, Zhicheng; Wang, Yiwei; Huang, Yinya; Guo, Zhijiang; Shi, Shi; Han, Xiongwei; Feng, Liang; Song, Linqi; Liang, Xiaodan; Tang, Jing (International Conference on Learning Representations, 2025)