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
Ignorance is Bliss? The Effect of Explanations on Perceptions of Voice Assistants W. Seymour Jose Such 53 14 0 23 Nov 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 57 0 0 16 Nov 2022
Scalar Invariant Networks with Zero Bias Chuqin Geng Xiaojie Xu Haolin Ye X. Si 74 2 0 15 Nov 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 85 13 0 04 Nov 2022
Towards Reliable Neural Specifications Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang A. Gurfinkel X. Si AAML 126 10 0 28 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue AAML 62 6 0 09 Oct 2022
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Yue Liu N. Hovakimyan Marco Caccamo L. Sha AAML 100 4 0 04 Sep 2022
Verifiable Obstacle Detection Ayoosh Bansal Hunmin Kim Simon Yu Bo-Yi Li N. Hovakimyan Marco Caccamo L. Sha 61 6 0 30 Aug 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 94 5 0 16 Aug 2022
An Overview of Structural Coverage Metrics for Testing Neural Networks Muhammad Usman Youcheng Sun D. Gopinath R. Dange Luca Manolache C. Păsăreanu 62 8 0 05 Aug 2022
Neural Network Verification using Residual Reasoning Y. Elboher Elazar Cohen Guy Katz LRM 92 18 0 05 Aug 2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended) Remi Desmartin Grant Passmore Ekaterina Komendantskaya M. Daggitt 70 5 0 21 Jul 2022
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool Neelanjana Pal Taylor T. Johnson 35 1 0 14 Jul 2022
Verification of Sigmoidal Artificial Neural Networks using iSAT Dominik Grundt Sorin Liviu Jurj Willem Hagemann P. Kröger M. Fränzle 60 3 0 14 Jul 2022
Certified Adversarial Robustness via Anisotropic Randomized Smoothing Hanbin Hong Yuan Hong AAML 73 5 0 12 Jul 2022
Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features Taha Belkhouja J. Doppa AAML AI4TS 66 12 0 09 Jul 2022
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation Manish Goyal Miheer Dewaskar Parasara Sridhar Duggirala 59 2 0 08 Jul 2022
Constrained Training of Neural Networks via Theorem Proving Mark Chevallier Matthew Whyte Jacques D. Fleuriot 62 2 0 08 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 68 11 0 02 Jul 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 81 44 0 24 Jun 2022
A Geometric Method for Improved Uncertainty Estimation in Real-time Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 54 0 0 23 Jun 2022
Why Robust Natural Language Understanding is a Challenge Marco Casadio Ekaterina Komendantskaya Verena Rieser M. Daggitt Daniel Kienitz Luca Arnaboldi Wen Kokke OOD AAML 47 0 0 21 Jun 2022
Riemannian data-dependent randomized smoothing for neural networks certification Pol Labarbarie H. Hajri M. Arnaudon 45 4 0 21 Jun 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 81 20 0 20 Jun 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness Tianlong Chen Huan Zhang Zhenyu Zhang Shiyu Chang Sijia Liu Pin-Yu Chen Zhangyang Wang AAML 63 11 0 15 Jun 2022
Specifying and Testing $k$ -Safety Properties for Machine-Learning Models M. Christakis Hasan Ferit Eniser Jörg Hoffmann Adish Singla Valentin Wüstholz 35 6 0 13 Jun 2022
Training Neural Networks using SAT solvers Subham S. Sahoo 54 0 0 10 Jun 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 115 18 0 08 Jun 2022
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks Kiarash Mohammadi Aishwarya Sivaraman G. Farnadi 100 5 0 01 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 105 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 162 37 0 26 May 2022
Hierarchical Distribution-Aware Testing of Deep Learning Wei Huang Xingyu Zhao Alec Banks V. Cox Xiaowei Huang OOD AAML 78 10 0 17 May 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 66 5 0 14 May 2022
Smooth-Reduce: Leveraging Patches for Improved Certified Robustness Ameya Joshi Minh Pham Minsu Cho Leonid Boytsov Filipe Condessa J. Zico Kolter Chinmay Hegde UQCV AAML 63 2 0 12 May 2022
Software Testing for Machine Learning D. Marijan A. Gotlieb AAML 60 29 0 30 Apr 2022
Understanding the Impact of Edge Cases from Occluded Pedestrians for ML Systems Jens Henriksson C. Berger Stig Ursing 59 3 0 26 Apr 2022
Testing robustness of predictions of trained classifiers against naturally occurring perturbations S. Scher A. Trugler OOD AAML 90 1 0 21 Apr 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 104 19 0 26 Mar 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 101 31 0 19 Mar 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers B. Liao Chih-Hong Cheng Hasan Esen Alois Knoll AAML 58 1 0 08 Feb 2022
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components Boyue Caroline Hu Lina Marsso Krzysztof Czarnecki Rick Salay Huakun Shen Marsha Chechik 138 21 0 08 Feb 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 114 18 0 08 Feb 2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components R. Calinescu Calum Imrie Ravi Mangal Genaína Nunes Rodrigues C. Păsăreanu Misael Alpizar Santana Gricel Vázquez 50 13 0 07 Feb 2022
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions Brandon Paulsen Chao Wang AAML 85 15 0 31 Jan 2022
Safe AI -- How is this Possible? Harald Ruess Simon Burton 63 0 0 25 Jan 2022
Systems Challenges for Trustworthy Embodied Systems Harald Ruess 37 2 0 10 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 101 26 0 06 Jan 2022
The King is Naked: on the Notion of Robustness for Natural Language Processing Emanuele La Malfa Marta Z. Kwiatkowska 100 27 0 13 Dec 2021