相对差异 swMATH ID: 42703 软件作者： 布兰登·保尔森、王京波、王超 描述： ReluDiff：深度神经网络的差分验证。随着深层神经网络在实践中的应用越来越多，其效率已成为一个重要问题。虽然有一些压缩技术可以减少网络的大小、能耗和计算要求，但它们只是从经验上证明没有损失准确性，但缺乏对压缩网络的正式保证，例如在存在对抗性示例的情况下。Reluplex、ReluVal和DeepPoly等现有验证技术提供了形式上的保证，但它们是为分析单个网络而不是两个网络之间的关系而设计的。为了填补这一空白，我们开发了一种新的方法来对两个密切相关的网络进行差分验证。我们的方法包括一个快速但近似的前向区间分析过程，然后是一个后向过程，该过程迭代地细化近似值，直到所需的属性得到验证。我们有两个主要创新。在前向传递过程中，我们利用两个网络的结构和行为相似性来更准确地限定两个网络输出神经元之间的差异。然后在反向传递中，我们利用梯度差异来更准确地计算最有益的细化。我们的实验表明，与最新的验证工具相比，我们的方法可以实现数量级的加速，并证明了比现有工具更多的属性。 主页： https://arxiv.org/abs/2001.03662 相关软件： 马拉布;AI2公司;数据链路2;神经差异;波普尔;差异RNN;深度（DeepGauge）;深度Xplore;TensorFuzz公司;Reluplex公司;深度傻瓜;MNIST公司;d真实 引用于： 1文件 4位作者引用 1 Jyotirmoy V.德斯穆赫。 1 萨拉·穆罕默德内贾德 1 布兰登·保尔森 1 王超 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文