arXiv · Computation and Language· Siyu Song, Rui Xu, Jia Lin, Kai Liu, Weifang Wang·· 3 小时前AI 评分35
CORE：面向可验证语言模型搜索的冲突导向推理消除
CORE: Conflict-Oriented Reasoning Elimination for Verifiable Language-Model Search
AI 导读
CORE 是一种搜索控制器，通过向验证器请求认证冲突核心、回跳到核心中的最新决策并缓存冲突来避免重复。在 2,000 个 planted graph-coloring 实例上，CORE 相比 chronological repair 将中位验证器调用减少 39.8%（30 变量）和 35.0%（36 变量）。
来源：arXiv · Computation and Language · arxiv.org