Feb, 2019
神经网络紧致鲁棒性验证的凸松弛屏障
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks
Hadi Salman, Greg Yang, Huan Zhang, Cho-Jui Hsieh, Pengchuan Zhang
TL;DR本文介绍一种基于凸松弛框架的神经网络强鲁棒性验证算法,通过大量实验发现该算法在已有松弛算法上并没有显著提高,提示了一类算法具有固有的严格验证难度。