DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

17 May 2021

Papers citing "DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification"

4 / 4 papers shown

Title
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees Feisi Fu Wenchao Li KELM AAML 41 26 0 14 Oct 2021
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 108 138 0 29 Nov 2018
ShapeShifter: Robust Physical Adversarial Attack on Faster R-CNN Object Detector Shang-Tse Chen Cory Cornelius Jason Martin Duen Horng Chau ObjD 153 424 0 16 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017