arXiv cs.CL· Siyu Song, Rui Xu, Jia Lin, Kai Liu, Weifang Wang·· 8 小时前AI 评分37
CORE：面向可验证语言模型搜索的冲突导向推理消除
CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search
AI 导读
CORE 是一种搜索控制器：向验证器请求认证冲突核，回跳到该核心中的最新决策，并缓存冲突以避免重复。在 2,000 个图着色实例上，30 变量与 36 变量时中位验证器调用分别较按时间顺序修复减少 39.8% 和 35.0%。
来源：arXiv cs.CL · arxiv.org