arXiv · cs.AI· Yang Sheng, Jie Fu·· 7 小时前
电路提取研究指出：电路主张取决于提取对象与比较方式
Circuit Claims Depend on What Is Extracted and How It Is Compared
arXiv:2607.18921v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Yang Sheng, Jie Fu
研究任务与主要进展
该研究发现，模型组件连接的重叠程度会随电路提取对象、注意力头选择方式和消融后损失预算而显著变化，甚至接近随机基线。基于合成 Lean tactic-prediction 基准，强化学习在组合证明上的最大精确匹配准确率增益，对应组合电路中更多不属于对应原子电路的组件；消融这些额外组件会降低组合准确率，同时基本保留原子任务准确率。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org