TY  - RPRT
TI  - Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
AU  - Haoyang Liu
AU  - Jie Wang
AU  - Boxuan Niu
AU  - Xiongwei Han
AU  - Yian Xu
AU  - Mingxuan Ye
AU  - Zijie Geng
AU  - Fangzhou Zhu
AU  - Tao Zhong
AU  - Mingxuan Yuan
AU  - Jianye Hao
PY  - 2026
UR  - https://arxiv.org/abs/2605.29556
ID  - 2605.29556
ER  -