4 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
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…