★ 4
论文提出验证差距理论：不可靠验证器致奖励多项式惩罚
论文指出语言模型推理的关键瓶颈是验证鸿沟：形式化领域之外缺乏可扩展且不可腐蚀的奖励。作者提出联合高斯模型，证明验证器与真值相关性是测试时算力与能力的兑换率，并展示在程序合成任务中不健全验证器随优化增长而失效，而现实锚定结算可将攻击差距从约0.27降至约0。研究还提出“证明携带认知”范式与Sound…
arXiv cs.AI53 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文指出语言模型推理的关键瓶颈是验证鸿沟：形式化领域之外缺乏可扩展且不可腐蚀的奖励。作者提出联合高斯模型，证明验证器与真值相关性是测试时算力与能力的兑换率，并展示在程序合成任务中不健全验证器随优化增长而失效，而现实锚定结算可将攻击差距从约0.27降至约0。研究还提出“证明携带认知”范式与Sound…