MIRA Lab
MIRA Lab
People
Publications
News
Courses
Courses Fall 2025
Courses Fall 2024
Courses Fall 2023
Courses Fall 2022
Courses Fall 2021
Courses Spring 2021
Courses Spring 2020
Admission
Admission 2025 保研
Photos
Social Media
Contact Us
Boxuan Niu
Latest
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
Cite
×