v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 451 papers shown

Title
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence Justus Renkhoff Ke-ke Feng Marc Meier-Doernberg Alvaro Velasquez Houbing Herbert Song 142 12 0 06 Jan 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 98 16 0 20 Dec 2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 78 1 0 17 Dec 2023
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees Anahita Baninajjar Ahmed Rezine A. Aminifar AAML 79 59 0 15 Dec 2023
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems Srajan Goyal A. Griggio Jacob Kimblad Stefano Tonetta 86 5 0 16 Nov 2023
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 100 0 0 16 Nov 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 112 0 0 15 Nov 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 210 10 0 20 Sep 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 157 17 0 31 Jul 2023
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation Zhehua Zhou Yuheng Huang Xuan Xie Zhan Shu Lei Ma Dikai Liu Jianxiong Yin Simon See 93 26 0 31 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 117 8 0 20 Jul 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 147 10 0 17 Jul 2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version) Mahum Naseer Osman Hasan Mohamed Bennai 62 2 0 29 Jun 2023
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth Edi Muškardin Martin Tappler Ingo Pill B. Aichernig Thomas Pock 50 0 0 29 Jun 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue Jing Wang Wenjing Yang Wanwei Liu AAML 96 0 0 27 Jun 2023
QNNRepair: Quantized Neural Network Repair Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro MQ 82 1 0 23 Jun 2023
Adversarial Robustness Certification for Bayesian Neural Networks Matthew Wicker A. Patané Luca Laurenti Marta Z. Kwiatkowska AAML 85 4 0 23 Jun 2023
Towards quantum enhanced adversarial robustness in machine learning Maxwell T. West S. Tsang J. S. Low C. Hill C. Leckie Lloyd C. L. Hollenberg S. Erfani Muhammad Usman AAML OOD 87 64 0 22 Jun 2023
Collapsed Inference for Bayesian Deep Learning Zhe Zeng Karen Ullrich FedML BDL UQCV 161 9 0 16 Jun 2023
From Robustness to Explainability and Back Again Xuanxiang Huang Sasha Rubin 134 10 0 05 Jun 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 126 2 0 29 May 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 171 108 0 19 May 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses Joana Cabral Costa Tiago Roxo Hugo Manuel Proença Pedro R. M. Inácio AAML 134 74 0 18 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 120 2 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 95 11 0 05 May 2023
Verifiable Learning for Robust Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri N. Prezza AAML 124 3 0 05 May 2023
Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner Matthias Althoff AAML 126 4 0 03 May 2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness Aleksandar Petrov Francisco Eiras Amartya Sanyal Philip Torr Adel Bibi UQCV 98 1 0 25 Apr 2023
Certified Adversarial Robustness Within Multiple Perturbation Bounds Soumalya Nandi Sravanti Addepalli Harsh Rangwani R. Venkatesh Babu AAML 88 3 0 20 Apr 2023
Using Z3 for Formal Modeling and Verification of FNN Global Robustness Yihao Zhang Zeming Wei Xiyue Zhang Meng Sun AAML 82 7 0 20 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks Chi Zhang Wenjie Ruan Fu Lee Wang Peipei Xu Geyong Min Xiaowei Huang 81 3 0 03 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 125 19 0 31 Mar 2023
Efficient Symbolic Reasoning for Neural-Network Verification Zi Wang S. Jha Krishnamurthy Dvijotham Dvijotham AAML NAI 102 2 0 23 Mar 2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 87 1 0 12 Mar 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 83 1 0 08 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 74 8 0 07 Mar 2023
Convex Bounds on the Softmax Function with Applications to Robustness Verification Dennis L. Wei Haoze Wu Min Wu Pin-Yu Chen Clark W. Barrett E. Farchi UQCV AAML 66 9 0 03 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 116 14 0 11 Feb 2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks Pengfei Yang Zhiming Chi Zongxin Liu Mengyu Zhao Cheng-Chao Huang Shaowei Cai Lijun Zhang AAML 64 3 0 10 Feb 2023
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study C. Păsăreanu Ravi Mangal D. Gopinath Sinem Getir Yaman Calum Imrie R. Calinescu Huafeng Yu 100 35 0 06 Feb 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 94 2 0 27 Jan 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz Hao Fei AAML 95 6 0 27 Jan 2023
Neural Abstractions Alessandro Abate Alec Edwards Mirco Giacobbe 109 17 0 27 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 95 76 0 14 Jan 2023
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 88 0 0 11 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 68 2 0 15 Dec 2022
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking Dennis Gross T. D. Simão N. Jansen G. Pérez AAML 111 2 0 10 Dec 2022
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 84 20 0 10 Dec 2022
Fairify: Fairness Verification of Neural Networks Sumon Biswas Hridesh Rajan 105 28 0 08 Dec 2022
Pre-trained Encoders in Self-Supervised Learning Improve Secure and Privacy-preserving Supervised Learning Hongbin Liu Wenjie Qu Jinyuan Jia Neil Zhenqiang Gong SSL 77 6 0 06 Dec 2022