Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

2 June 2024

Papers citing "Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation"

3 / 3 papers shown

Title
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 78 129 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 192 1,714 0 03 Feb 2017
Aggregated Residual Transformations for Deep Neural Networks Saining Xie Ross B. Girshick Piotr Dollár Z. Tu Kaiming He 239 6,278 0 16 Nov 2016