Yian Xu

Latest

• Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification