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
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
May 2026
Haoyang Liu
,
Jie Wang
,
Boxuan Niu
,
Xiongwei Han
,
Yian Xu
,
Mingxuan Ye
,
Zijie Geng
,
Fangzhou Zhu
,
Tao Zhong
,
Mingxuan Yuan
,
Jianye Hao
Type
Conference paper
Publication
Forty-Third International Conference on Machine Learning
Related
Opt-Miner: Empowering Information-Seeking Agent with Tree-Guided Data Synthesis for Optimization Modeling
Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming
Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms
Differentiable Integer Linear Programming
Accurate KV Cache Eviction via Anchor Direction Projection for Efficient LLM Inference
Cite
×
