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"

7 / 7 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 48 0 0 23 Feb 2025
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 35 15 0 31 Mar 2023
Learning Representation for Anomaly Detection of Vehicle Trajectories Ruochen Jiao Juyang Bai Xiangguo Liu Takami Sato Xiao-Fang Yuan Qi Alfred Chen Qiuhan Zhu AI4TS AAML 27 14 0 09 Mar 2023
Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction Ruochen Jiao Xiangguo Liu Takami Sato Qi Alfred Chen Qi Zhu AAML 43 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 34 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 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016