← Search

Yuanzhang Xiao

2 accepted papers

2026

Operator Theory-Driven Autoformulation of MDPs for Control of Queueing Systems

ICLR 2026poster

Autoformulation is an emerging field that uses large language models (LLMs) to translate natural-language descriptions of decision-making problems into formal mathematical formulations. Existing works have focused on autoformulating mathematical optimization problems for $\textit{one-shot}$ decision…

Cited by 0SourceScholar
2025

Autoformulation of Mathematical Optimization Models Using LLMs

ICML 2025poster

Mathematical optimization is fundamental to decision-making across diverse domains, from operations research to healthcare. Yet, translating real-world problems into optimization models remains a difficult task, often demanding specialized expertise. This paper approaches the problem of $\textit{aut…

Cited by 7SourcePDFScholar