Maximum Resilience of Artificial Neural Networks

28 April 2017

Papers citing "Maximum Resilience of Artificial Neural Networks"

50 / 78 papers shown

Title
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
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models Xiangyu Yin Jiaxu Liu Zhen Chen Jinwei Hu Yi Dong Xiaowei Huang Wenjie Ruan AAML 50 0 0 08 Mar 2025
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 45 0 0 27 Jan 2025
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 42 0 0 26 Jun 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 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 32 3 0 12 Apr 2024
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 38 0 0 16 Nov 2023
Safety Performance of Neural Networks in the Presence of Covariate Shift Chih-Hong Cheng Harald Ruess K. Theodorou 40 1 0 24 Jul 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 29 6 0 20 Jul 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 96 33 0 29 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
Tight Mixed-Integer Optimization Formulations for Prescriptive Trees Max Biggs Georgia Perakis 11 1 0 28 Feb 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 38 4 0 26 Jan 2023
Learning To Dive In Branch And Bound Max B. Paulus Andreas Krause 29 4 0 24 Jan 2023
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions Junyang Cai Khai-Nguyen Nguyen Nishant Shrestha Aidan Good Ruisen Tu Xin Yu Shandian Zhe Thiago Serra MLT 40 7 0 19 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 41 1 0 15 Dec 2022
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 40 5 0 14 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 37 5 0 03 Dec 2022
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 28 5 0 25 Nov 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 40 1 0 18 Aug 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022
Learning To Cut By Looking Ahead: Cutting Plane Selection via Imitation Learning Max B. Paulus Giulia Zarpellon Andreas Krause Laurent Charlin Chris J. Maddison 33 58 0 27 Jun 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 32 43 0 24 Jun 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 26 20 0 20 May 2022
How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective Yimeng Zhang Yuguang Yao Jinghan Jia Jinfeng Yi Min-Fong Hong Shiyu Chang Sijia Liu AAML 26 33 0 27 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 15 0 06 Mar 2022
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers B. Liao Chih-Hong Cheng Hasan Esen Alois Knoll AAML 26 1 0 08 Feb 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 19 2 0 04 Feb 2022
Maximizing information from chemical engineering data sets: Applications to machine learning Alexander Thebelt Johannes Wiebe Jan Kronqvist Calvin Tsay Ruth Misener AI4CE 45 68 0 25 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 40 26 0 06 Jan 2022
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 12 0 17 Nov 2021
Assessment of Neural Networks for Stream-Water-Temperature Prediction S. Mohr Konstantina Drainas J. Geist 31 3 0 08 Oct 2021
Lyapunov-stable neural-network control Hongkai Dai Benoit Landry Lujie Yang Marco Pavone Russ Tedrake 26 119 0 29 Sep 2021
Mixed Integer Neural Inverse Design Navid Ansari Hans-Peter Seidel Vahid Babaei 27 5 0 27 Sep 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs Nicolas Sonnerat Pengming Wang Ira Ktena Sergey Bartunov Vinod Nair 29 45 0 21 Jul 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 47 15 0 16 Jun 2021
Provably Robust Detection of Out-of-distribution Data (almost) for free Alexander Meinke Julian Bitterwolf Matthias Hein OODD 33 22 0 08 Jun 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 46 55 0 06 Apr 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 22 0 0 08 Mar 2021
Fast Training of Provably Robust Neural Networks by SingleProp Akhilan Boopathy Tsui-Wei Weng Sijia Liu Pin-Yu Chen Gaoyuan Zhang Luca Daniel AAML 11 7 0 01 Feb 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Mohamed Bennai Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
Solving Mixed Integer Programs Using Neural Networks Vinod Nair Sergey Bartunov Felix Gimeno Ingrid von Glehn Pawel Lichocki ... Pushmeet Kohli Ira Ktena Yujia Li Oriol Vinyals Yori Zwols 127 244 0 23 Dec 2020
Data-Dependent Randomized Smoothing Motasem Alfarra Adel Bibi Philip Torr Guohao Li UQCV 28 34 0 08 Dec 2020
Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations Jinyuan Jia Binghui Wang Xiaoyu Cao Hongbin Liu Neil Zhenqiang Gong 21 24 0 15 Nov 2020
Reinforcement Learning with Combinatorial Actions: An Application to Vehicle Routing A. Delarue Ross Anderson Christian Tjandraatmadja 35 94 0 22 Oct 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 2020
Adversarial Boot Camp: label free certified robustness in one epoch Ryan Campbell Chris Finlay Adam M. Oberman AAML 28 0 0 05 Oct 2020
Assessing Robustness of Text Classification through Maximal Safe Radius Computation Emanuele La Malfa Min Wu Luca Laurenti Benjie Wang Anthony Hartshorn Marta Z. Kwiatkowska AAML 20 18 0 01 Oct 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020