Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
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…
cs.AI2026
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…