ICLR 2026 论文：带可证明保证的自动化电路发现算法

一篇将投 ICLR 2026 的论文《Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees》提出，借助神经网络验证技术的最新进展，构建带可证明保证的自动化电路发现算法，用于机械可解释性研究。作者为 Itamar Hadad、Guy Katz、Shahaf Bassan 等人。

2026-10-21 ~ 2026-10-21 · 2 条相关

• ICLR 2026 论文：带可证明保证的自动化电路发现用于机械可解释性 — burny_tech · 2026-10-21

另有 1 条近重复转述:burny_tech