6 papers
Quantum Alternating Direction Method of Multipliers for Semidefinite Programming
Hantao Nie, Dong An, Zaiwen Wen
Semidefinite programming (SDP) is a fundamental convex optimization problem with wide-ranging applications. However, solving large-scale instances remains computationally challengi…
Constructing Industrial-Scale Optimization Modeling Benchmark
Zhong Li, Hongliang Lu, Tao Wei +5
Optimization modeling underpins decision-making in logistics, manufacturing, energy, and finance, yet translating natural-language requirements into correct optimization formulatio…
PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural Language
Hongliang Lu, Zhong Li, Yuxuan Chen +3
Optimization modeling is the process of translating real-world decision problems, often described in natural language, into formal mathematical formulations and executable solver c…
M2F: Automated Formalization of Mathematical Literature at Scale
Zichen Wang, Wanli Ma, Zhenyu Ming +3
Automated formalization of mathematics enables mechanical verification but remains limited to isolated theorems and short snippets. Scaling to textbooks and research papers is larg…
An Augmented Lagrangian Value Function Method for Lower-level Constrained Stochastic Bilevel Optimization
Hantao Nie, Jiaxiang Li, Zaiwen Wen
Recently, lower-level constrained bilevel optimization has attracted increasing attention. However, existing methods mostly focus on either deterministic cases or problems with lin…
Numerical Optimization for Tensor Disentanglement
Julia Wei, Alec Dektor, Chungen Shen +2
Tensor networks provide compact and scalable representations of high-dimensional data, enabling efficient computation in fields such as quantum physics, numerical partial different…