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"

13 / 13 papers shown

Title
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 25 177 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 75 100 0 04 Jan 2021
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 25 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 17 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 19 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 27 120 0 01 Jul 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 21 52 0 20 May 2019
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 12 37 0 28 Nov 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie L. Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 32 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 15 471 0 28 Apr 2018
Adversarial Attacks Beyond the Image Space Xiaohui Zeng Chenxi Liu Yu-Siang Wang Weichao Qiu Lingxi Xie Yu-Wing Tai Chi-Keung Tang Alan Yuille AAML 33 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 228 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016