4 citations · 4 across the 7 of their papers we have counts for
8 papers
Right Answers, Costly Models: The Efficiency Gap in LLM-based Optimization Modeling
Zhong Li, Xin Huang, Jinhui Wan +6
Optimization modeling formulates real-world decision problems as mathematical programs that solvers can use to find optimal decisions. Large language models (LLMs) can automate thi…
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…
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…
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…
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…
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…
On the pure state -representability of density matrix embedding theory
Fabian M. Faulstich, Raehyun Kim, Zhi-Hao Cui +3
Density matrix embedding theory (DMET) formally requires the matching of density matrix blocks obtained from high-level and low-level theories, but this is sometimes not achievable…