Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning

25 January 2021

Papers citing "Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning"

5 / 5 papers shown

Title
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 20 1 0 27 May 2024
Safety Analysis of Autonomous Driving Systems Based on Model Learning Renjue Li Tianhang Qin Pengfei Yang Cheng-Chao Huang Youcheng Sun Lijun Zhang 8 1 0 23 Nov 2022
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 101 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016