Fetching the paper…
Reading the bibliography…
Deep neural networks have become widely used, obtaining remarkable results in domains such as computer vision, speech recognition, natural language processing, audio recognition, social network filtering, machine translation, and bio-informatics, where they have produced results comparable to human experts.
On the surprising behavior of distance metrics in high dimensional spaces
C. C. Aggarwal, A. Hinneburg, and D. A. Keim · 2001
Earlier work this paper cites.
An efficient k-means clustering algorithm: Analysis and implementation
T. Kanungo, D. M. Mount, N. S. Netanyahu, C. D. Piatko, R. Silverman, and A. Y. Wu · 2002
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.
Challenging SMT solvers to verify neural networks
L. Pulina and A. Tacchella · 2012
Earlier work this paper cites.
Intriguing properties of neural networks, 2013
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus · 2013
Earlier work this paper cites.
Explaining and harnessing adversarial examples, 2014
I. J. Goodfellow, J. Shlens, and C. Szegedy · 2014
Earlier work this paper cites.
Adversarial machine learning at scale, 2016
R. Feinman, R. R. Curtin, S. Shintre, and A. B. Gardner · 2016
Earlier work this paper cites.
Policy compression for aircraft collision avoidance systems
K. Julian, J. Lopez, J. Brush, M. Owen, and M. Kochenderfer · 2016
Cited alongside, same era.
Adversarial Examples in the Physical World, 2016
A. Kurakin, I. Goodfellow, and S. Bengio · 2016
Cited alongside, same era.
Deepfool: A simple and accurate method to fool deep neural networks
S. Moosavi-Dezfooli, A. Fawzi, and P. Frossard · 2016
Cited alongside, same era.
On the effectiveness of defensive distillation, 2016
N. Papernot and P. D. McDaniel · 2016
Cited alongside, same era.
The limitations of deep learning in adversarial settings
N. Papernot, P. D. McDaniel, S. Jha, M. Fredrikson, Z. B. Celik, and A. Swami · 2016
Cited alongside, same era.
Towards evaluating the robustness of neural networks
N. Carlini and D. Wagner · 2017
Closest in time.
Formal verification of piece-wise linear feed-forward neural networks
R. Ehlers · 2017
Closest in time.
Detecting adversarial samples from artifacts, 2017
R. Feinman, R. R. Curtin, S. Shintre, and A. B. Gardner · 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. Dill, K. Julian, and M. Kochenderfer · 2017
Closest in time.
Towards proving the adversarial robustness of deep neural networks
G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
N. Carlini, G. Katz, C. Barrett, and D. Dill · 2017
Cited alongside, same era.
The MNIST database of handwritten digits
Y. LeCun, C. Cortes, and C. J. C. Burges
Cited in the paper.
Closest in time.