arXiv · NLP· Amer Goel, Yeganeh Alimohammadi, Andrew Daw·· 6 小时前AI 评分30
ASTOR：软约束优化自动形式化的基准测试与改进
ASTOR: Benchmarking and Improving Autoformulation for Soft-Constraint Optimization with a Formal Grammar
AI 导读
提出推理时框架 ASTOR，将自然语言决策问题映射为语法引导的抽象语法树（AST），再确定性编译为可执行优化代码，并推出软约束专用基准 SoftOR。 ASTOR 在 SoftOR 上取得同类单请求与多智能体 LLM 方法中的最佳综合准确率，且在仅含硬约束的标准自动形式化基准上保持竞争力，代码与数据已公开。
来源：arXiv · NLP · arxiv.org