BriefGPT.xyz
Feb, 2019
神经网络紧致鲁棒性验证的凸松弛屏障
A Convex Relaxation Barrier to Tight Robust Verification of Neural Networks
HTML
PDF
Hadi Salman, Greg Yang, Huan Zhang, Cho-Jui Hsieh, Pengchuan Zhang
TL;DR
本文介绍一种基于凸松弛框架的神经网络强鲁棒性验证算法,通过大量实验发现该算法在已有松弛算法上并没有显著提高,提示了一类算法具有固有的严格验证难度。
Abstract
Verification of
neural networks
enables us to gauge their robustness against
adversarial attacks
.
verification algorithms
fall into two ca
→