Xiongwei Han

Constraint Matters: Multi-Modal Representation for Reducing Mixed-Integer Linear programming

Automated Optimization Modeling via a Localizable Error-Driven Perspective

OptiVer: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

ARS: Automatic Routing Solver with Large Language Models

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling

REG: A Regularization Optimizer for Robust Training Dynamics

Determine-Then-Ensemble: Necessity of Top-k Union for Large Language Model Ensembling

Activation-Guided Consensus Merging for Large Language Models

Decision Information Meets Large Language Models: The Future of Explainable Operations Research

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling