activity
20222025
most citedLearning to Reformulate for Linear Programming

3 citations · 5 across the 6 of their papers we have counts for

collaborators

6 papers

cs.SC2025

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery

Kuang Yufei, Wang Jie, Huang Haotong +5

Symbolic regression (SR) -- which learns symbolic equations to describe the underlying relation from input-output pairs -- is widely used for scientific discovery. However, a rich…

cs.LG2025

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

Haoyang Liu, Jie Wang, Zijie Geng +5

Leveraging machine learning (ML) to predict an initial solution for mixed-integer linear programming (MILP) has gained considerable popularity in recent years. These methods predic…

cs.AI2024

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming

Jie Wang, Zhihai Wang, Xijun Li +7

Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs), which formulate many important real-world applications. Cut selection heavily depends…

cs.AI2024

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Xijun Li, Fangzhou Zhu, Hui-Ling Zhen +23

In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the inte…

cs.LG2023★ 2 cited

Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning

Yufei Kuang, Xijun Li, Jie Wang +7

Large-scale LP problems from industry usually contain much redundancy that severely hurts the efficiency and reliability of solving LPs, making presolve (i.e., the problem simplifi…

math.OC2022★ 3 cited

Learning to Reformulate for Linear Programming

Xijun Li, Qingyu Qu, Fangzhou Zhu +4

It has been verified that the linear programming (LP) is able to formulate many real-life optimization problems, which can obtain the optimum by resorting to corresponding solvers…