动态 | 如何高效验证深度神经网络的学习行为？看看 Facebook 是怎么做的

AI 科技评论按：Facebook AI 昨日推荐了一款能够比当前 state-of-the-art 程序更快识别应用安全水平的最新技术。过去我们从计算机视觉、强化学习以及语音识别等领域发掘了深度学习的巨大潜力，然而对于一些安全性要求较高的应用（如自动驾驶）来说，在模型得到有效验证以前，并无法真正受惠。Facebook提供的新方法适用于深度学习，能够对无法确定输出结果的输入内容进行有效验证，从而杜绝不当决策的产生。AI 科技评论将该开源文章编译如下。在具体操作上，我们先利用分段线性（这里使用的是 ReLU ）激活的结构来构建一组可能输出的 convex overapproximation 。该 overapproximation 可通过线性编程（LP）求解器获得，且能让我们迅速判断输出是否所需。为了避免操作趋于 ………………………………