v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 448 papers shown

Title
SaDe: Learning Models that Provably Satisfy Domain Constraints Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel ALM 76 5 0 01 Dec 2021
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance Yizhen Dong Wei Huang Vibhav Bharti V. Cox Alec Banks Sen Wang Xingyu Zhao S. Schewe Xiaowei Huang 72 16 0 30 Nov 2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 69 5 0 25 Nov 2021
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 71 18 0 29 Oct 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 70 13 0 21 Oct 2021
Permutation Invariance of Deep Neural Networks with ReLUs Diganta Mukhopadhyay Kumar Madhukar M. Srivas AAML 27 0 0 18 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 80 15 0 18 Oct 2021
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching Osbert Bastani 41 0 0 11 Oct 2021
Neural Network Verification in Control M. Everett AAML 67 16 0 30 Sep 2021
Towards Energy-Efficient and Secure Edge AI: A Cross-Layer Framework Mohamed Bennai Alberto Marchisio Rachmad Vidya Wicaksana Putra Muhammad Abdullah Hanif 98 34 0 20 Sep 2021
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare Yan Jia John McDermid T. Lawton Ibrahim Habli 93 48 0 01 Sep 2021
Certifiers Make Neural Networks Vulnerable to Availability Attacks Tobias Lorenz Marta Kwiatkowska Mario Fritz AAML SILM 48 3 0 25 Aug 2021
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications Wenjie Ruan Xinping Yi Xiaowei Huang AAML OOD 52 17 0 24 Aug 2021
Robustness testing of AI systems: A case study for traffic sign recognition Christian Berghoff Pavol Bielik Matthias Neu Petar Tsankov Arndt von Twickel AAML 31 13 0 13 Aug 2021
Neural Network Repair with Reachability Analysis Xiaodong Yang Tomochika Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov AAML 62 30 0 09 Aug 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 61 54 0 09 Aug 2021
Static analysis of ReLU neural networks with tropical polyhedra Eric Goubault Sébastien Palumby S. Putot Louis Rustenholz S. Sankaranarayanan 65 7 0 30 Jul 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 113 70 0 26 Jul 2021
Self-Correcting Neural Networks For Safe Classification Klas Leino Aymeric Fromherz Ravi Mangal Matt Fredrikson Bryan Parno C. Păsăreanu 70 6 0 23 Jul 2021
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions Eike Petersen Yannik Potdevin Esfandiar Mohammadi Stephan Zidowitz Sabrina Breyer ... Sandra Henn Ludwig Pechmann M. Leucker P. Rostalski Christian Herzog FaML AILaw OOD 102 23 0 20 Jul 2021
EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks Andrei-Șerban Ilie Marius Popescu Alin Stefanescu AAML 77 6 0 12 Jul 2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization Francisco Eiras Motasem Alfarra M. P. Kumar Philip Torr P. Dokania Guohao Li Adel Bibi 77 32 0 09 Jul 2021
DeformRS: Certifying Input Deformations with Randomized Smoothing Motasem Alfarra Adel Bibi Naeemullah Khan Philip Torr Guohao Li 66 22 0 02 Jul 2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems Chao Huang Jiameng Fan Zhilu Wang Yixuan Wang Weichao Zhou Jiajun Li Xin Chen Wenchao Li Qi Zhu 93 49 0 25 Jun 2021
Reachability Analysis of Convolutional Neural Networks Xiaodong Yang Tomoya Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov FAtt 45 6 0 22 Jun 2021
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks Suyoung Lee Wonho Song Suman Jana M. Cha Sooel Son AAML 78 14 0 18 Jun 2021
Certification of embedded systems based on Machine Learning: A survey Guillaume Vidot Christophe Gabreau I. Ober Iulian Ober 48 12 0 14 Jun 2021
Verifying Quantized Neural Networks using SMT-Based Model Checking Luiz Sena Xidan Song E. Alves I. Bessa Edoardo Manino Lucas C. Cordeiro Eddie Batista de Lima Filho 65 11 0 10 Jun 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 91 32 0 09 Jun 2021
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks Fabian Bauer-Marquart David Boetius Stefan Leue Christian Schilling AAML 77 6 0 03 Jun 2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles Xingyu Zhao Wei Huang Alec Banks V. Cox David Flynn S. Schewe Xiaowei Huang AAML UQCV 82 21 0 02 Jun 2021
The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning K. Morik Helena Kotthaus Lukas Heppe Danny Heinrich Raphael Fischer Andrea Pauly Nico Piatkowski 104 4 0 01 Jun 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 82 21 0 28 May 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 61 32 0 26 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 74 47 0 25 May 2021
A framework for the automation of testing computer vision systems F. Wotawa Lorenz Klampfl Ledio Jahaj 23 3 0 10 May 2021
Software Engineering for AI-Based Systems: A Survey Silverio Martínez-Fernández Justus Bogner Xavier Franch Marc Oriol Julien Siebert Adam Trendowicz Anna Maria Vollmer Stefan Wagner 110 232 0 05 May 2021
Fast Falsification of Neural Networks using Property Directed Testing Moumita Das Rajarshi Ray S. Mohalik A. Banerjee AAML 42 1 0 26 Apr 2021
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes Changshun Wu Yliès Falcone Saddek Bensalem 92 10 0 25 Apr 2021
Orthogonalizing Convolutional Layers with the Cayley Transform Asher Trockman J. Zico Kolter 95 115 0 14 Apr 2021
Provable Repair of Deep Neural Networks Matthew Sotoudeh Aditya V. Thakur AAML 80 73 0 09 Apr 2021
Adversarial Robustness Guarantees for Gaussian Processes A. Patané Arno Blaas Luca Laurenti L. Cardelli Stephen J. Roberts Marta Z. Kwiatkowska GP AAML 188 9 0 07 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 93 57 0 06 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 83 42 0 03 Apr 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 28 2 0 22 Mar 2021
Toward Neural-Network-Guided Program Synthesis and Verification N. Kobayashi Taro Sekiyama Issei Sato Hiroshi Unno NAI 99 3 0 17 Mar 2021
Attack as Defense: Characterizing Adversarial Examples using Robustness Zhe Zhao Guangke Chen Jingyi Wang Yiwei Yang Fu Song Jun Sun AAML 114 31 0 13 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 123 202 0 11 Mar 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 34 0 0 08 Mar 2021
Insta-RS: Instance-wise Randomized Smoothing for Improved Robustness and Accuracy Chong Chen Kezhi Kong Peihong Yu J. Luque Tom Goldstein Furong Huang AAML 64 8 0 07 Mar 2021