传统测试方法难以全面验证压缩后神经网络的功能等价性，现有形式化验证方法也多局限于结构不变的压缩策略，难以适用于节点剪枝等结构变化情形。提出一种基于区间分析的节点剪枝压缩网络等价性验证方法，引入虚节点补全机制以恢复结构一致性，并将其作为等价变换的一部分，进而应用符号区间和区间划分技术控制区间扩张，提升验证效率。在 49 个网络和 1 272 个安全属性上进行实验，结果在 1 800 s 时限内验证通过 1 067 个，验证率达 83.9%，验证了方法的有效性和可行性。

网站会员需要登录才能在线预览，点我登录。

如何成为网站会员>>