arXiv · AI· Alaa Anani, Tobias Lorenz, Bernt Schiele, Mario Fritz, Jonas Fischer·· 8 小时前AI 评分27
Certified Circuits：为机制电路提供稳定性保证
Certified Circuits: Stability Guarantees for Mechanistic Circuits
AI 导读
Certified Circuits 通过随机数据子采样为电路发现提供可证明的稳定性保证，证明组件包含决策对概念数据集的有界编辑距离扰动不变。该方法在 ResNet、ViT 和 GPT-2 上验证，实现最高 56% 的准确率提升和 80% 的组件减少，并在基线性能退化时保持可靠性。
来源：arXiv · AI · arxiv.org