Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification. - Haoyang Liu 002; Jie Wang 005; Boxuan Niu; Xiongwei Han; Yian Xu; Mingxuan Ye; Zijie Geng; Fangzhou Zhu; Tao Zhong 004; Mingxuan Yuan; Jianye Hao (CoRR, 2026)