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
Xiongwei Han
Latest
Opt-Miner: Empowering Information-Seeking Agent with Tree-Guided Data Synthesis for Optimization Modeling
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
Cite
×