Towards Practical Verification of Machine Learning: The Case of Computer
Vision Systems

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

5 December 2017

Papers citing "Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems"

19 / 19 papers shown

Title
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 37 66 0 26 Jul 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 21 31 0 09 Jun 2021
The future of human-AI collaboration: a taxonomy of design knowledge for hybrid intelligence systems Dominik Dellermann A. Calma Nikolaus Lipusch Thorsten Weber Sascha Weigel P. Ebel HAI 33 178 0 07 May 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Muhammad Shafique Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 27 73 0 07 Aug 2020
Coverage Guided Testing for Recurrent Neural Networks Wei Huang Youcheng Sun Xing-E. Zhao James Sharp Wenjie Ruan Jie Meng Xiaowei Huang AAML 22 47 0 05 Nov 2019
Benchmarking Robustness in Object Detection: Autonomous Driving when Winter is Coming Claudio Michaelis Benjamin Mitzkus Robert Geirhos E. Rusak Oliver Bringmann Alexander S. Ecker Matthias Bethge Wieland Brendel 3DPC 30 436 0 17 Jul 2019
ML-based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection Saurabh Jha Subho Sankar Banerjee Timothy Tsai S. Hari Michael B. Sullivan Zbigniew T. Kalbarczyk S. Keckler R. Iyer 32 120 0 01 Jul 2019
Invariance-inducing regularization using worst-case transformations suffices to boost accuracy and spatial robustness Fanny Yang Zuowen Wang C. Heinze-Deml 28 42 0 26 Jun 2019
Risks from Learned Optimization in Advanced Machine Learning Systems Evan Hubinger Chris van Merwijk Vladimir Mikulik Joar Skalse Scott Garrabrant 45 146 0 05 Jun 2019
Securing Connected & Autonomous Vehicles: Challenges Posed by Adversarial Machine Learning and The Way Forward A. Qayyum Muhammad Usama Junaid Qadir Ala I. Al-Fuqaha AAML 21 187 0 29 May 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 24 52 0 20 May 2019
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 16 37 0 28 Nov 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie Lei Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 43 40 0 04 Sep 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 25 472 0 28 Apr 2018
Adversarial Attacks Beyond the Image Space Fangyin Wei Chenxi Liu Yu-Siang Wang Weichao Qiu Lingxi Xie Yu-Wing Tai Chi-Keung Tang Alan Yuille AAML 41 145 0 20 Nov 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016