Text2Model

新的Text2Model助手可将自然语言翻译成形式化模型

研究人员推出了一套名为Text2Model的助手，旨在将自然语言翻译成用于优化和满意度问题的形式化模型。这项工作还提出了Text2Zinc，这是一个用于这些任务的新型数据集和交互式编辑器，旨在将满意度问题和优化问题统一在单一架构中。该方法不依赖于特定求解器，利用MiniZinc进行问题建模，并通过实验比较了零样本提示和代理方法等各种LLM策略，发现它们具有竞争力，但尚未实现完全自动化。