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"

13 / 13 papers shown

Title
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing Meiyu Zhong Ravi Tandon 36 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 18 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 Z. Wang Gautam Prakriya S. Jha 35 13 0 02 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 32 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 27 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 23 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 20 17 0 25 Feb 2021
Certified Monotonic Neural Networks Xingchao Liu Xing Han Na Zhang Qiang Liu 21 78 0 20 Nov 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 19 104 0 16 Feb 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 25 9 0 31 Oct 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 19 390 0 15 Mar 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017