通过特赛丁感知修剪布尔 d-DNNF 电路
原文中文，约400字，阅读约需1分钟。发表于：。布尔电路在 d-DNNF 形式下实现了可解推断，然而本文突出的洞见显示了常用的 d-DNNF 编译方法引入了无关的子电路，我们称之为 Tseitin 人工子电路。我们讨论了如何检测和去除 Tseitin 变量和人工子电路，从而得到更加简洁的电路。当同时去除 Tseitin 变量和人工子电路时，实验观察到平均尺寸减小了 77.5%。额外的 Tseitin 人工子电路修剪平均减小了 22.2%...
神经网络模型在复杂任务上表现出色，但解释困难。研究者提出了一种新的分析技术，通过发现中间变量的低层电路，实现对模型参数的切割，进行因果分析。实验证明该方法在解密模型算法、揭示内部结构和追踪电路发展方面有效。与其他方法相比，该方法更加有效。在真实应用中，发现了负责主谓一致和反身指代的电路。
