← Search

Haoyang Liu

13 accepted papers

2026

CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction

AAAI 2026technical

Mixed-Integer Linear Programming (MILP) is a cornerstone of combinatorial optimization, yet solving large-scale instances remains a significant computational challenge. Recently, Graph Neural Networks (GNNs) have shown promise in accelerating MILP solvers by predicting high-quality solutions. Howev

Cited by 0SourcePDFScholar
2026

Opt-Miner: Empowering Information-Seeking Agent with Tree-Guided Data Synthesis for Optimization Modeling

ICML 2026poster

Large Language Model (LLM) agents have shown significant potential in automated optimization modeling for mathematical problems. However, real-world problems are still challenging due to their knowledge-intensive nature. Existing methods, constrained by static parametric knowledge, often lack the do…

Cited by 0SourceScholar
2026

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

ICML 2026poster

Building mathematical optimization models is critical in operations research (OR), while it requires substantial human expertise. Recent advancements have utilized large language models (LLMs) to automate this modeling process. However, existing works often struggle to verify the correctness of the …

Cited by 0SourceScholar
2025

Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming

ICLR 2025poster

Leveraging machine learning (ML) to predict an initial solution for mixed-integer linear programming (MILP) has gained considerable popularity in recent years. These methods predict a solution and fix a subset of variables to reduce the problem dimension. Then, they solve the reduced problem to obta…

Cited by 7SourcePDFScholar
2025

Dataset Distillation via the Wasserstein Metric

ICCV 2025poster

Dataset Distillation (DD) aims to generate a compact synthetic dataset that enables models to achieve performance comparable to training on the full large dataset, significantly reducing computational costs. Drawing from optimal transport theory, we introduce WMDD (Wasserstein Metric-based Dataset D…

2025

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

NeurIPS 2025poster

Optimization modeling is one of the most crucial but technical parts of operations research (OR). To automate the modeling process, existing works have leveraged large language models (LLMs), prompting them to break down tasks into steps for generating variables, constraints, and objectives. How…

Cited by 0SourceScholar
2025

RoME: Domain-Robust Mixture-of-Experts for MILP Solution Prediction across Domains

NeurIPS 2025poster

Mixed-Integer Linear Programming (MILP) is a fundamental and powerful framework for modeling complex optimization problems across diverse domains. Recently, learning-based methods have shown great promise in accelerating MILP solvers by predicting high-quality solutions. However, most existing appro…

Cited by 0SourceScholar
2025

SymMaP: Improving Computational Efficiency in Linear Solvers through Symbolic Preconditioning

NeurIPS 2025poster

Matrix preconditioning is a critical technique to accelerate the solution of linear systems, where performance heavily depends on the selection of preconditioning parameters. Traditional parameter selection approaches often define fixed constants for specific scenarios. However, they rely on domain…

Cited by 0SourceScholar
2025

Towards Adversarially Robust Dataset Distillation by Curvature Regularization

AAAI 2025technical

Dataset distillation (DD) allows datasets to be distilled to fractions of their original size while preserving the rich distributional information so that models trained on the distilled datasets can achieve a comparable accuracy while saving significant computational loads. Recent research in this…

2024

Accelerating PDE Data Generation via Differential Operator Action in Solution Space

ICML 2024poster

Recent advancements in data-driven approaches, such as Neural Operator (NO), have demonstrated their effectiveness in reducing the solving time of Partial Differential Equations (PDEs). However, one major challenge faced by these approaches is the requirement for a large amount of high-precision tra…

Cited by 2SourcePDFScholar
2024

Foundation Model-oriented Robustness: Robust Image Model Evaluation with Pretrained Models

ICLR 2024poster

Machine learning has demonstrated remarkable performance over finite datasets, yet whether the scores over the fixed benchmarks can sufficiently indicate the model’s performance in the real world is still in discussion. In reality, an ideal robust model will probably behave similarly to the oracle (…

Cited by 8SourcePDFScholar
2024

MILP-StuDio: MILP Instance Generation via Block Structure Decomposition

NeurIPS 2024poster

Mixed-integer linear programming (MILP) is one of the most popular mathematical formulations with numerous applications. In practice, improving the performance of MILP solvers often requires a large amount of high-quality data, which can be challenging to collect. Researchers thus turn to generation…

Cited by 11SourcePDFScholar
2024

Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework

ICLR 2024poster

Machine learning (ML) has been shown to successfully accelerate solving NP-hard combinatorial optimization (CO) problems under the branch and bound framework. However, the high training and inference cost and limited interpretability of ML approaches severely limit their wide application to modern…

Cited by 11SourcePDFScholar