ASTOR：软约束优化自动建模框架与SoftOR基准
热点事件持续更新
ASTOR：软约束优化自动建模框架与SoftOR基准
1 篇报道1 个报道来源10 小时前更新
先了解这件事
AI 综述
Amer Goel等作者提出ASTOR推理时框架，并发布聚焦软约束建模的基准SoftOR。ASTOR先将自然语言决策问题映射为语法引导的抽象语法树（AST），再确定性地编译为可执行的优化代码。 作者称，ASTOR在SoftOR上取得同类单次请求与多智能体LLM方法中最佳的综合准确率，并在仅含硬约束的标准自动形式化基准上保持竞争力。代码与数据已公开。
AI 根据报道生成 · 48 分钟前更新
最新进展10月26日 12:00
ASTOR：用形式化语法为软约束优化建模并评测自动形式化报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- arXiv cs.CLASTOR：用形式化语法为软约束优化建模并评测自动形式化
ASTOR 是一个推理时框架，先将自然语言决策问题映射为语法引导的抽象语法树（AST），再确定性地编译为可执行的优化代码。团队同时发布聚焦软约束建模的统一基准 SoftOR，ASTOR 在该基准上取得同类单次请求与多智能体 LLM 方法中最佳的综合准确率，并在仅含硬约束的标准自动形式化基准上保持竞争力。代码与数据已公开。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。