VERAS：验证引导的运筹学自适应搜索

2026年10月20日，arXiv Artificial Intelligence 刊出 Minbo Ma 等作者的论文，提出 VERAS——一种面向可靠运筹学（OR）的验证引导自适应搜索框架。据该论文，VERAS 利用验证证据来优先进行可行性修复、约束覆盖审查与解质量提升。论文报告称，在 ORAgentBench 上，VERAS 的通过率达 42.99%，超过同一 LLM 下 Codex 报告的 35.51%。目前事件进展限于该论文的发布与上述基准结果，尚无其他跟进报道。

AI 根据报道生成 · 38 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。