Victor Baillet

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

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…