arXiv Artificial Intelligence· Minbo Ma, Honglin Zhang, Bangtao Zhou, Chunguang Yu, Dasheng Ju, Yichen Shen, Fengli Xu, Yong Li·· 2 小时前AI 评分42
VERAS：面向可靠运筹学的验证引导自适应搜索
VERAS: Verification-Guided Adaptive Search for Reliable Operations Research
AI 导读
VERAS 用验证引导的自适应搜索提升 LLM 智能体求解运筹学问题的可靠性，在 ORAgentBench 上通过率达 42.99%，超过同一 LLM 下 Codex 报告的 35.51%。
来源：arXiv Artificial Intelligence · arxiv.org