OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks

27 January 2023

Papers citing "OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks"

7 / 7 papers shown

Title
Robustness Verifcation in Neural Networks Adrian Wurm 19 0 0 20 Mar 2024
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition Andreea Postovan Madalina Erascu 11 0 0 25 Sep 2023
Robustness of SAM: Segment Anything Under Corruptions and Beyond Yu Qiao Chaoning Zhang Taegoo Kang Donghun Kim Chenshuang Zhang Choong Seon Hong AAML 15 33 0 13 Jun 2023
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 224 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016
Spatial Transformer Networks Max Jaderberg Karen Simonyan Andrew Zisserman Koray Kavukcuoglu 124 7,334 0 05 Jun 2015