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
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 189 56 0 10 Jan 2020
PaRoT: A Practical Framework for Robust Deep Neural Network Training Edward W. Ayers Francisco Eiras Majd Hawasly I. Whiteside OOD 138 19 0 07 Jan 2020
Arachne: Search Based Repair of Deep Neural Networks Jeongju Sohn Sungmin Kang S. Yoo KELM 92 52 0 28 Dec 2019
Combining Deep Learning and Verification for Precise Object Instance Detection Siddharth Ancha Junyu Nan David Held 96 3 0 27 Dec 2019
A Survey of Deep Learning Applications to Autonomous Vehicle Control Sampo Kuutti Richard Bowden Yaochu Jin P. Barber Saber Fallah 156 550 0 23 Dec 2019
Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing Jinyuan Jia Xiaoyu Cao Binghui Wang Neil Zhenqiang Gong AAML 69 98 0 20 Dec 2019
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 150 14 0 13 Dec 2019
300 GHz Radar Object Recognition based on Deep Neural Networks and Transfer Learning Marcel Sheeny Andrew M. Wallace Sen Wang 153 21 0 06 Dec 2019
Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban M. Christakis Valentin Wüstholz Fuyuan Zhang 138 74 0 05 Dec 2019
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks Mahum Naseer M. Minhas Faiq Khalid Muhammad Abdullah Hanif Osman Hasan Mohamed Bennai AAML 96 17 0 03 Dec 2019
Adversarial Examples in Modern Machine Learning: A Review R. Wiyatno Anqi Xu Ousmane Amadou Dia A. D. Berker AAML 139 106 0 13 Nov 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 183 129 0 31 Oct 2019
Algorithmic decision-making in AVs: Understanding ethical and technical concerns for smart cities H. S. M. Lim Araz Taeihagh 74 87 0 29 Oct 2019
Certified Adversarial Robustness for Deep Reinforcement Learning Björn Lütjens Michael Everett Jonathan P. How AAML 145 99 0 28 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 122 4 0 25 Oct 2019
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks Fuyuan Zhang Sankalan Pal Chowdhury M. Christakis AAML 69 8 0 14 Oct 2019
Verification of Neural Networks: Specifying Global Robustness using Generative Models Nathanaël Fijalkow M. Gupta AAML 29 2 0 11 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 115 51 0 05 Oct 2019
Towards Robust Direct Perception Networks for Automated Driving Chih-Hong Cheng 36 1 0 30 Sep 2019
Adversarial Vulnerability Bounds for Gaussian Process Classification M. Smith Kathrin Grosse Michael Backes Mauricio A. Alvarez AAML 63 9 0 19 Sep 2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks Hao Ren Sai Krishnan Chandrasekar A. Murugesan AAML 38 3 0 18 Sep 2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Matthew Sotoudeh Aditya V. Thakur 45 4 0 17 Aug 2019
Computing Linear Restrictions of Neural Networks Matthew Sotoudeh Aditya V. Thakur 60 24 0 17 Aug 2019
Benchmarking the Robustness of Semantic Segmentation Models Christoph Kamann Carsten Rother VLM UQCV 166 171 0 14 Aug 2019
Refactoring Neural Networks for Verification David Shriver Dong Xu Sebastian G. Elbaum Matthew B. Dwyer 82 7 0 06 Aug 2019
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA Luiz Sena I. Bessa M. R. Gadelha Lucas C. Cordeiro E. Mota 72 11 0 30 Jul 2019
Towards Logical Specification of Statistical Machine Learning Yusuke Kawamoto CML 64 7 0 24 Jul 2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu Zikang Xiong Stephen Magill Suresh Jagannathan 89 97 0 16 Jul 2019
A Systematic Mapping Study on Testing of Machine Learning Programs S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 60 13 0 11 Jul 2019
On Validating, Repairing and Refining Heuristic ML Explanations Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt LRM 104 64 0 04 Jul 2019
Neural Network Verification for the Masses (of AI graduates) Ekaterina Komendantskaya Rob Stewart Kirsy Duncan Daniel Kienitz Pierre Le Hen Pascal Bacchus 31 0 0 02 Jul 2019
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 141 23 0 28 Jun 2019
Verifying Robustness of Gradient Boosted Models Gil Einziger M. Goldstein Yaniv Saár Itai Segall 95 42 0 26 Jun 2019
ReachNN: Reachability Analysis of Neural-Network Controlled Systems Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu 82 81 0 25 Jun 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 120 108 0 25 Jun 2019
Risks from Learned Optimization in Advanced Machine Learning Systems Evan Hubinger Chris van Merwijk Vladimir Mikulik Joar Skalse Scott Garrabrant 155 174 0 05 Jun 2019
Correctness Verification of Neural Networks Yichen Yang Martin Rinard AAML 99 13 0 03 Jun 2019
A Review of Deep Learning with Special Emphasis on Architectures, Applications and Recent Trends Saptarshi Sengupta Sanchita Basak P. Saikia Sayak Paul Vasilios Tsalavoutis Frederick Ditliac Atiah V. Ravi R. Peters AI4CE 205 363 0 30 May 2019
Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas A. Patané Luca Laurenti L. Cardelli Marta Z. Kwiatkowska Stephen J. Roberts GP AAML 117 21 0 28 May 2019
Model-Agnostic Counterfactual Explanations for Consequential Decisions Amir-Hossein Karimi Gilles Barthe Borja Balle Isabel Valera 191 331 0 27 May 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 176 53 0 20 May 2019
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 132 18 0 19 May 2019
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges Rob Ashmore R. Calinescu Colin Paterson AI4TS 76 127 0 10 May 2019
Formal Verification of Input-Output Mappings of Tree Ensembles John Törnblom Simin Nadjm-Tehrani 87 36 0 10 May 2019
Property Inference for Deep Neural Networks D. Gopinath Hayes Converse C. Păsăreanu Ankur Taly 86 8 0 29 Apr 2019
Robustness Verification of Support Vector Machines Francesco Ranzato Marco Zanella AAML 95 20 0 26 Apr 2019
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges Naoto Sato Hironobu Kuruma Y. Nakagawa H. Ogawa 86 12 0 26 Apr 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 114 102 0 22 Apr 2019
Reward Potentials for Planning with Learned Neural Network Transition Models B. Say Scott Sanner Sylvie Thiébaux 77 4 0 19 Apr 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 108 73 0 06 Apr 2019