arXiv：cs.CL（计算语言学，全量分类）· Siyu Song, Rui Xu, Jia Lin, Kai Liu, Weifang Wang·2026-10-01 12:00· 3 小时前AI 评分33

CORE：面向可验证语言模型搜索的冲突导向推理消除

CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search

AI 导读

CORE 是一种搜索控制器，它向验证器请求经过认证的冲突核心，回跳到该核心中最近的决策点，并缓存冲突以避免重复。在 2000 个植入式图着色实例上，CORE 相比按时间顺序修复将验证器调用中位数减少 39.8%（30 变量）和 35.0%（36 变量）。