★ 3
LLM 推理中束搜索的可证明测试时扩展
论文为 LLM 推理中常用的束搜索建立测试时计算理论保证，证明朴素束搜索需 Ω(C*(x)²) 采样才能保留最优响应。据此提出置信过滤束搜索 CF-Beam，在前缀竞争性下将覆盖依赖从二次降至近线性。结果显示束搜索相较 Best-of-N 等方法在长推理链上更具鲁棒性。
arXiv cs.LG32 天前
#理论
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
研究称线性表示假说需引入群作用定义等价性
论文指出线性表示假说常被讨论却未明确表示等价性，而不同等价概念保留不同结构，导致看似研究同一表示的度量、探针与干预实际对应不同假说。作者用群作用形式化该假说，明确表示对象、生成过程与最终断言的性质，并据此审计常见表示量与近期可解释性分析。
arXiv cs.LG39 天前
★ 1
认知温度计：机器学习与逻辑复杂度研究
论文提出用机器学习作为衡量语义复杂度的更中立方法，回顾逻辑与机器学习在相对复杂度及语义类型学上趋于一致的证据。作者认为在两者分歧处，学习比逻辑复杂度更具解释力，将机器学习模型视为「认知温度计」可统一符号逻辑与连接主义 AI。
arXiv NLP24 天前