热点事件持续更新

电路结论依赖提取与比较

1 篇报道1 个报道来源11 小时前更新

先了解这件事

AI 综述

Yang Sheng 和 Jie Fu 发布研究论文发现，在 Lean tactic prediction 基准中，电路结论会随报告的提取对象及比较方式变化；仅凭模型行为保持，无法唯一确定电路解释。研究使用固定证明规则、随机化表面形式的合成基准，比较同一 Transformer 的稠密与权重稀疏检查点，并分别考察原子证明和组合证明。报告对象包括保持预测的紧凑电路、保留周边读写与路由结构的更大图，以及按消融后损失预算提取的子图；对最后一种图，查询与键的排序一致性在预算变化中仍保持。

AI 根据报道生成 · 3 小时前更新

最新进展10月16日 12:00

电路结论取决于提取对象与比较方式

报道时间线

沿着报道，了解事件的不同侧面。

10月16日

12:00
arXiv · Machine Learning
电路结论取决于提取对象与比较方式
Yang Sheng 和 Jie Fu 研究发现，在 Lean tactic prediction 基准中，电路结论会随提取对象和比较方式变化，行为保持本身并不能唯一确定电路解释。

本事件热度走势

可比范围当前: 7
可比范围峰值: 810月16日 21:00
近 24 小时变化: –

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。