# 回路发现

神经网络内部的特征常由一组神经元协同表示，只画两两连线的电路图会漏掉成组抑制带来的联合效应。新方法把网络当作结构因果模型，用沿神经流形的反事实消融逐步压低一组神经元，再按统计显著性把有因果联系的神经元组建成有向单纯复形。在两个手工构造的小型多层感知机上，复形恢复了设计好的特征通路；其1-骨架与ACDC、EAP、EAP-IG保留的、权重图能表达的边一致。

神经网络内部的特征常由一组神经元协同表示，只画两两连线的电路图会漏掉成组抑制带来的联合效应。新方法把网络当作结构因果模型，用沿神经流形的反事实消融逐步压低一组神经元，再按统计显著性把有因果联系的神经元组建成有向单纯复形。在两个手工构造的小型多层感知机上，复形恢复了设计好的特征通路；其1-骨架与ACDC、EAP、EAP-IG保留的、权重图能表达的边一致。

对果蝇视觉模型flyvis的50个训练解做系统压力测试后发现，连接组约束并不让机制结论唯一：反向phi错觉在任务匹配的因果CNN中同样出现，归因效应量只在与其干预语义匹配时才与穷举单连接真值一致，而满足T4/T5调谐判据的细胞类型解在50个模型中只有25个成立。这些结果把连接组约束的价值定位为让机制假设可直接干预检验，而不是给出唯一机制。

对果蝇视觉模型flyvis的50个训练解做系统压力测试后发现，连接组约束并不让机制结论唯一：反向phi错觉在任务匹配的因果CNN中同样出现，归因效应量只在与其干预语义匹配时才与穷举单连接真值一致，而满足T4/T5调谐判据的细胞类型解在50个模型中只有25个成立。这些结果把连接组约束的价值定位为让机制假设可直接干预检验，而不是给出唯一机制。