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
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees Anahita Baninajjar Ahmed Rezine A. Aminifar AAML 44 1 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 61 4 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 72 0 0 16 Nov 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 75 0 0 15 Nov 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 186 9 0 20 Sep 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 104 16 0 31 Jul 2023
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation Zhehua Zhou Jiayang Song Xuan Xie Zhan Shu Lei Ma Dikai Liu Jianxiong Yin Simon See 62 20 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 93 8 0 20 Jul 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 94 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 34 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 31 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 67 0 0 27 Jun 2023
QNNRepair: Quantized Neural Network Repair Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro MQ 62 1 0 23 Jun 2023
Adversarial Robustness Certification for Bayesian Neural Networks Matthew Wicker A. Patané Luca Laurenti Marta Z. Kwiatkowska AAML 78 3 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 79 57 0 22 Jun 2023
Collapsed Inference for Bayesian Deep Learning Zhe Zeng Guy Van den Broeck FedML BDL UQCV 126 9 0 16 Jun 2023
From Robustness to Explainability and Back Again Xuanxiang Huang Sasha Rubin 77 10 0 05 Jun 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 106 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 132 96 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 120 62 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 93 1 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 71 9 0 05 May 2023
Verifiable Learning for Robust Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri N. Prezza AAML 76 3 0 05 May 2023
Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner Matthias Althoff AAML 66 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 65 1 0 25 Apr 2023
Certified Adversarial Robustness Within Multiple Perturbation Bounds Soumalya Nandi Sravanti Addepalli Harsh Rangwani R. Venkatesh Babu AAML 58 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 72 6 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 60 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 49 16 0 31 Mar 2023
Efficient Symbolic Reasoning for Neural-Network Verification Zi Wang S. Jha Krishnamurthy Dvijotham Dvijotham AAML NAI 94 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 52 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 60 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 53 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 44 9 0 03 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 81 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 54 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 73 30 0 06 Feb 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 72 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 63 6 0 27 Jan 2023
Neural Abstractions Alessandro Abate Alec Edwards Mirco Giacobbe 92 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 82 74 0 14 Jan 2023
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 62 0 0 11 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 54 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 88 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 69 18 0 10 Dec 2022
Fairify: Fairness Verification of Neural Networks Sumon Biswas Hridesh Rajan 74 26 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 66 6 0 06 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 101 13 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 99 12 0 06 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 146 13 0 02 Dec 2022