Astor

新的ASTOR框架改进了LLM在软约束优化中的自动公式化

研究人员推出ASTOR，一个旨在改进将自然语言中的决策问题自动公式化为可执行优化模型的新框架。ASTOR专门解决了纳入软约束的挑战，软约束代表偏好而非严格要求，这是现有自动公式化研究中常被忽视的一个特点。该框架使用形式语法指导过程，在编译成代码之前生成抽象语法树。ASTOR在SoftOR上进行了评估，SoftOR是一个专注于软约束公式化的新基准，其表现优于同类LLM方法，并在仅包含硬约束的基准测试中保持竞争力。