Efficient Neural Network Robustness Certification with General Activation Functions

2 November 2018

Papers citing "Efficient Neural Network Robustness Certification with General Activation Functions"

50 / 177 papers shown

Title
On the Security Risks of ML-based Malware Detection Systems: A Survey Ping He Yuhao Mao Changjiang Li Lorenzo Cavallaro Ting Wang Shouling Ji 21 0 0 16 May 2025
PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks Xuran Li Jingyi Wang Xiaohan Yuan Peixin Zhang Zhanyue Qin Zhibo Wang Kui Ren AAML MU 54 0 0 10 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 50 0 0 02 May 2025
Neural Network Verification for Gliding Drone Control: A Case Study Colin Kessler Ekaterina Komendantskaya Marco Casadio Ignazio Maria Viola Thomas Flinkow Albaraa Ammar Othman Alistair Malhotra Robbie McPherson 57 1 0 01 May 2025
Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation Fauzan Nazranda Rizqan Matthew Hole Charles Gretton 45 0 0 29 Apr 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 82 6 0 17 Feb 2025
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions Goli Vaisi James Ferlez Yasser Shoukry 48 0 0 28 Jan 2025
Robust Representation Consistency Model via Contrastive Denoising Jiachen Lei Julius Berner Jiongxiao Wang Zhongzhu Chen Zhongjia Ba Kui Ren Jun Zhu Anima Anandkumar DiffM 87 0 0 22 Jan 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 281 0 0 22 Jan 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 103 1 0 12 Dec 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 38 0 0 26 Oct 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 65 1 0 03 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 40 1 0 02 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 44 0 0 26 Jun 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 50 1 0 14 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 47 5 0 07 Jun 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 50 11 0 31 May 2024
Verifiably Robust Conformal Prediction Linus Jeary Tom Kuipers Mehran Hosseini Nicola Paoletti AAML 22 3 0 29 May 2024
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling Feiyang Cai Chuchu Fan Stanley Bak 79 6 0 28 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 2024
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness Yuhao Zhang Aws Albarghouthi Loris Dántoni OffRL 31 0 0 27 May 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks Cornelius Emde Francesco Pinto Thomas Lukasiewicz Philip Torr Adel Bibi AAML 50 0 0 22 May 2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 34 0 0 17 May 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 68 0 0 23 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 35 3 0 12 Apr 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 57 15 0 11 Apr 2024
A Transition System Abstraction Framework for Neural Network Dynamical System Models Yejiang Yang Zihao Mo Hoang-Dung Tran Weiming Xiang 24 0 0 18 Feb 2024
Is Adversarial Training with Compressed Datasets Effective? Tong Chen Raghavendra Selvan AAML 64 0 0 08 Feb 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 53 1 0 26 Jan 2024
A Geometrical Approach to Evaluate the Adversarial Robustness of Deep Neural Networks Yang Wang B. Dong Ke Xu Haiyin Piao Yufei Ding Baocai Yin Xin Yang AAML 39 3 0 10 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 42 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 21 11 0 29 Sep 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 41 9 0 20 Sep 2023
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 22 0 0 23 Aug 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 13 0 27 Jul 2023
The Best Defense is a Good Offense: Adversarial Augmentation against Adversarial Attacks I. Frosio Jan Kautz AAML 29 15 0 23 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 26 1 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 99 33 0 29 Apr 2023
Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser Astha Verma A. Subramanyam Siddhesh Bangar Naman Lal R. Shah Shiníchi Satoh 45 4 0 13 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 43 5 0 07 Apr 2023
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 41 15 0 31 Mar 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 33 5 0 27 Mar 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 28 5 0 23 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Qingbin Liu Min Zhang 51 4 0 21 Mar 2023
Reachability Analysis of Neural Networks with Uncertain Parameters Pierre-Jean Meyer 20 0 0 14 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 33 8 0 07 Mar 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 29 5 0 31 Jan 2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming Tianqi Cui Tom S. Bertalan George J. Pappas M. Morari Ioannis G. Kevrekidis Mahyar Fazlyab AAML 27 2 0 27 Jan 2023