Search Results - Niu, Boxuan
- Showing 1 - 1 results of 1
-
1
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 2026Fuente: arXivPreprintAcceso al recurso