An LLM-powered MILP modelling engine for workforce scheduling guided by expert knowledge
提出SMILO框架，将专家知识与大语言模型结合，自动从自然语言描述生成劳动力排班问题的混合整数线性规划模型，在测试中93.33%的实例生成正确模型，性能优于基线至少40%。
Formulating mathematical models from real-world decision problems is a core task in Operations Research, yet it typically requires considerable human expertise and effort, limiting practical application. Recent advances in large language models (LLMs) have sparked interest in automating this process from natural language descriptions. However, challenges including limited modelling expertise, dependence on large-scale training data, and hallucination affect the reliable application of LLMs in optimisation modelling. To address these challenges, we propose SMILO, an expert-knowledge-driven framework that integrates optimisation modelling expertise with LLMs to generate mixed-integer linear programming models. SMILO uses a three-stage architecture built on reusable modelling graphs and associated resources: identifying relevant modelling components, extracting instance-specific information using LLMs, and constructing models through expert-defined templates. This modular architecture separates information extraction from formula generation, enhancing modelling accuracy, transparency, and reproducibility. We demonstrate the implementation of our problem-type-specific modelling framework using workforce scheduling problems spanning manufacturing, logistics, and service operations as illustrative cases. Experiments show that SMILO consistently generates correct models in 93.33% of test instances across five trials, outperforming the baselines by at least 40%. This work offers a generalisable paradigm for integrating LLMs with expert knowledge across diverse decision-making contexts, advancing automation in optimisation modelling.