Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding

26 March 2022

Papers citing "Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding"

5 / 5 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 40 0 0 23 Feb 2025
Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction Ruochen Jiao Xiangguo Liu Takami Sato Qi Alfred Chen Qi Zhu AAML 23 20 0 27 May 2022
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner Xiangguo Liu Chao Huang Yixuan Wang Bowen Zheng Qi Zhu 19 19 0 22 Jan 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016