Search Results - Niu, Boxuan

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification by Liu, Haoyang, Wang, Jie, Niu, Boxuan, Han, Xiongwei, Xu, Yian, Ye, Mingxuan, Geng, Zijie, Zhu, Fangzhou, Zhong, Tao, Yuan, Mingxuan, Hao, Jianye

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: