@misc{indiciaee1adc310e90b,
  title = {Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification},
  author = {Haoyang Liu and Jie Wang and Boxuan Niu and Xiongwei Han and Yian Xu and Mingxuan Ye and Zijie Geng and Fangzhou Zhu and Tao Zhong and Mingxuan Yuan and Jianye Hao},
  year = {2026},
  url = {https://arxiv.org/abs/2605.29556},
  note = {Source identifier: 2605.29556}
}