RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix
of Neural Networks and Its Applications

RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications

28 October 2018

Pengchuan Zhang

Papers citing "RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications"

16 / 16 papers shown

Title
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 44 3 0 03 Jul 2024
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 29 2 0 26 Jan 2023
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 23 9 0 15 Nov 2022
A Quantitative Geometric Approach to Neural-Network Smoothness Zehao Wang Gautam Prakriya S. Jha 43 13 0 02 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 34 13 0 26 Feb 2022
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 38 76 0 02 Nov 2021
An automatic differentiation system for the age of differential privacy Dmitrii Usynin Alexander Ziller Moritz Knolle Andrew Trask Kritika Prakash Daniel Rueckert Georgios Kaissis 30 3 0 22 Sep 2021
Nonlinear Projection Based Gradient Estimation for Query Efficient Blackbox Attacks Huichen Li Linyi Li Xiaojun Xu Xiaolu Zhang Shuang Yang Bo-wen Li AAML 28 17 0 25 Feb 2021
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 24 79 0 20 Nov 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 24 105 0 16 Feb 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 33 9 0 31 Oct 2019
Evaluating the Robustness of Nearest Neighbor Classifiers: A Primal-Dual Perspective Lu Wang Xuanqing Liu Jinfeng Yi Zhi-Hua Zhou Cho-Jui Hsieh AAML 25 22 0 10 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 393 0 15 Mar 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 21 263 0 23 Feb 2019
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,842 0 03 Feb 2017