ASTOR 框架与 SoftOR 基准发布
热点事件持续更新
ASTOR 框架与 SoftOR 基准发布
1 篇报道1 个报道来源6 小时前更新
先了解这件事
AI 综述
2026 年 10 月 19 日，研究者发布推理时框架 ASTOR 及 SoftOR 基准。ASTOR 将自然语言决策问题映射为语法引导的抽象语法树，再确定性编译为可执行优化代码。SoftOR 是聚焦软约束表述的统一自然语言问题基准。 ASTOR 在 SoftOR 上取得同类单请求与多智能体 LLM 方法中的最佳综合准确率，在仅含硬约束的标准自动形式化基准上也保持竞争力。目前，相关代码与数据均已公开。
AI 根据报道生成 · 4 小时前更新
最新进展10月20日 12:00
ASTOR：软约束优化自动形式化的基准测试与改进报道时间线
沿着报道，了解事件的不同侧面。
10月20日
- arXiv · NLPASTOR：软约束优化自动形式化的基准测试与改进
提出推理时框架 ASTOR，将自然语言决策问题映射为语法引导的抽象语法树（AST），再确定性编译为可执行优化代码，并推出软约束专用基准 SoftOR。 ASTOR 在 SoftOR 上取得同类单请求与多智能体 LLM 方法中的最佳综合准确率，且在仅含硬约束的标准自动形式化基准上保持竞争力，代码与数据已公开。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 910月20日 14:00
- 近 24 小时变化
- –
02.557.510
14:0015:0016:0017:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。