VERAS：面向可靠运筹学的验证引导自适应搜索

VERAS通过结合任务专属检查器与独立验证智能体，利用验证反馈指导修复，在ORAgentBench上以42.99%通过率超越Codex的35.51%。 在两个工业级运筹问题中，相比原生Codex使数据中心间峰值带宽降低10.34%，较专家方案降低年度分发网络成本6.28%。