Fetching the paper…
Reading the bibliography…
Due to the increasing usage of machine learning (ML) techniques in security- and safety-critical domains, such as autonomous systems and medical diagnosis, ensuring correct behavior of ML systems, especially for different corner cases, is of growing importance.
The model checker spin
G. J. Holzmann · 1997
Earlier work this paper cites.
What is the set of images of an object under all possible illumination conditions?
P. N. Belhumeur and D. J. Kriegman · 1998
Earlier work this paper cites.
Imagenet: A large-scale hierarchical image database
J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li, and L. Fei-Fei · 2009
Earlier work this paper cites.
Rectified linear units improve restricted boltzmann machines
V. Nair and G. E. Hinton · 2010
Earlier work this paper cites.
An abstraction-refinement approach to verification of artificial neural networks
L. Pulina and A. Tacchella · 2010
Earlier work this paper cites.
Computer vision: algorithms and applications
R. Szeliski · 2010
Earlier work this paper cites.
https://cloud.google.com/vision/ , 2011
Cloud vision api - derive insight from images with our powerful cloud vision api · 2011
Earlier work this paper cites.
https://developer.clarifai.com/models/general-image-recognition-model/aaa03c23b3724a16a56b629203edc62c , 2013
Clarifai api: Large scale visual recognition · 2013
Earlier work this paper cites.
Halide: A language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines
J. Ragan-Kelley, C. Barnes, A. Adams, S. Paris, F. Durand, and S. Amarasinghe · 2013
Earlier work this paper cites.
Toward guaranteed illumination models for non-convex objects
Y. Zhang, C. Mu, H.-W. Kuo, and J. Wright · 2013
Earlier work this paper cites.
Practical evasion of a learning-based classifier: A case study
P. Laskov et al · 2014
Earlier work this paper cites.
Intriguing properties of neural networks
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus · 2014
Earlier work this paper cites.
Man vs. machine: Practical adversarial detection of malicious crowdsourcing workers
G. Wang, T. Wang, H. Zheng, and B. Y. Zhao · 2014
Earlier work this paper cites.
Explaining and harnessing adversarial examples
I. Goodfellow, J. Shlens, and C. Szegedy · 2015
Earlier work this paper cites.
Towards deep neural network architectures robust to adversarial examples
S. Gu and L. Rigazio · 2015
Earlier work this paper cites.
Deep neural networks are easily fooled: High confidence predictions for unrecognizable images
A. Nguyen, J. Yosinski, and J. Clune · 2015
Earlier work this paper cites.
ImageNet Large Scale Visual Recognition Challenge
O. Russakovsky, J. Deng, H. Su, J. Krause, S. Satheesh, S. Ma, Z. Huang, A. Karpathy, A. Khosla, M. Bernstein, A. C. Berg, and L. Fei-Fei · 2015
Earlier work this paper cites.
Fast and accurate recurrent neural network acoustic models for speech recognition
H. Sak, A. Senior, K. Rao, and F. Beaufays · 2015
Earlier work this paper cites.
Very deep convolutional networks for large-scale image recognition
K. Simonyan and A. Zisserman · 2015
Cited alongside, same era.
https://github.com/0bserver07/Nvidia-Autopilot-Keras , 2016
Nvidia-autopilot-keras · 2016
Cited alongside, same era.
Measuring neural net robustness with constraints
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. Nori, and A. Criminisi · 2016
Cited alongside, same era.
End to end learning for self-driving cars
M. Bojarski, D. Del Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang, et al · 2016
Cited alongside, same era.
Xception: Deep learning with depthwise separable convolutions
F. Chollet · 2016
Cited alongside, same era.
Can we still avoid automatic face detection?
M. J. Wilber, V. Shmatikov, and S. Belongie · 2016
Later among the works it cites.
Data Mining: Practical machine learning tools and techniques
I. H. Witten, E. Frank, M. A. Hall, and C. J. Pal · 2016
Later among the works it cites.
Automatically evading classifiers
W. Xu, Y. Qi, and D. Evans · 2016
Later among the works it cites.
Improving the robustness of deep neural networks via stability training
S. Zheng, Y. Song, T. Leung, and I. Goodfellow · 2016
Later among the works it cites.
https://www.nytimes.com/2017/09/12/business/self-driving-cars.html
Tesla self-driving system faulted by safety agency in crash · 2017
Closest in time.
Towards evaluating the robustness of neural networks
N. Carlini and D. Wagner · 2017
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Behavioral cloning: end-to-end learning for self-driving cars · 2016
Cited alongside, same era.
Development and validation of a deep learning algorithm for detection of diabetic retinopathy in retinal fundus photographs
V. Gulshan, L. Peng, M. Coram, M. C. Stumpe, D. Wu, A. Narayanaswamy, S. Venugopalan, K. Widner, T. Madams, J. Cuadros, et al · 2016
Cited alongside, same era.
Deep residual learning for image recognition
K. He, X. Zhang, S. Ren, and J. Sun · 2016
Cited alongside, same era.
Delving into transferable adversarial examples and black-box attacks
Y. Liu, X. Chen, C. Liu, and D. Song · 2016
Cited alongside, same era.
The limitations of deep learning in adversarial settings
N. Papernot, P. McDaniel, S. Jha, M. Fredrikson, Z. B. Celik, and A. Swami · 2016
Cited alongside, same era.
Crafting adversarial input sequences for recurrent neural networks
N. Papernot, P. McDaniel, A. Swami, and R. Harang · 2016
Cited alongside, same era.
Distillation as a defense to adversarial perturbations against deep neural networks
N. Papernot, P. McDaniel, X. Wu, S. Jha, and A. Swami · 2016
Cited alongside, same era.
Parseval networks: Improving robustness to adversarial examples
M. Cisse, P. Bojanowski, E. Grave, Y. Dauphin, and N. Usunier · 2017
Closest in time.
https://github.com/udacity/self-driving-car/tree/master/steering-models/community-models/rambo , 2017
Rambo model for udacity self-driving car challenge 2 · 2017
Closest in time.
Mobilenets: Efficient convolutional neural networks for mobile vision applications
A. G. Howard, M. Zhu, B. Chen, D. Kalenichenko, W. Wang, T. Weyand, M. Andreetto, and H. Adam · 2017
Closest in time.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2017
Closest in time.
Reluplex: An efficient smt solver for verifying deep neural networks
G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer · 2017
Closest in time.
On detecting adversarial perturbations
J. H. Metzen, T. Genewein, V. Fischer, and B. Bischoff · 2017
Closest in time.
Passenger screening algorithm challenges
D. of Homeland Security · 2017
Closest in time.
Practical black-box attacks against machine learning
N. Papernot, P. McDaniel, I. Goodfellow, S. Jha, Z. B. Celik, and A. Swami · 2017
Closest in time.
Deepxplore: Automated whitebox testing of deep learning systems
K. Pei, Y. Cao, J. Yang, and S. Jana · 2017
Closest in time.
Deeptest: Automated testing of deep-neural-network-driven autonomous cars
Y. Tian, K. Pei, S. Jana, and B. Ray · 2017
Closest in time.
Towards the science of security and privacy in machine learning
N. Papernot, P. McDaniel, A. Sinha, and M. Wellman · 2018
Closest in time.