Fetching the paper…
Reading the bibliography…
Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns.
J. Ryan, M.-J. Lin, R. Miikkulainen, Intrusion detection with neural networks, in: M. I. Jordan, M. J. Kearns, S. A. Solla (Eds.), Advances in Neural Information Processing Systems 10, Cambridge, MA: MIT Press, 1998, pp. 943–949
1998
Earlier work this paper cites.
Y. LeCun, L. Bottou, Y. Bengio, P. Haffner, Gradient-based learning applied to document recognition, Proceedings of the IEEE 86 (11) (1998) 2278–2324
1998
Earlier work this paper cites.
R. R. Zakrzewski, Verification of a trained neural network accuracy, in: IJCNN’01. International Joint Conference on Neural Networks. Proceedings (Cat. No.01CH37222), Vol. 3, 2001, pp. 1657–1662 vol.3
2001
Earlier work this paper cites.
J. Hull, D. Ward, R. R. Zakrzewski, Verification and validation of neural networks for safety-critical applications, in: Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), Vol. 6, 2002, pp. 4789–4794 vol.6
2002
Earlier work this paper cites.
Z. Wang, E. P. Simoncelli, A. C. Bovik, Multiscale structural similarity for image quality assessment, in: Signals, Systems and Computers, Conference Record of the Thirty-Seventh Asilomar Conference on, 2003
2003
Earlier work this paper cites.
D. G. Lowe, Distinctive image features from scale-invariant keypoints, International journal of computer vision 60 (2) (2004) 91–110
2004
Earlier work this paper cites.
L. Kocsis, C. Szepesvári, Bandit based monte-carlo planning, in: European Conference on Machine Learning, Springer, 2006, pp. 282–293
2006
Earlier work this paper cites.
G. Carlsson, T. Ishkhanov, V. de Silva, A. Zomorodian, On the local behavior of spaces of natural images, International Journal of Computer Vision 76 (1) (2008) 1–12
2008
Earlier work this paper cites.
G. Chaslot, M. Winands, J. Uiterwijk, H. van den Herik, B. Bouzy, Progressive strategies for monte-carlo tree search, New Mathematics and Natural Computation 4 (3) (2008) 343–359
2008
Earlier work this paper cites.
A. Krizhevsky, Learning multiple layers of features from tiny images, Citeseer, 2009
2009
Earlier work this paper cites.
L. Pulina, A. Tacchella, An abstraction-refinement approach to verification of artificial neural networks, in: International Conference on Computer Aided Verification, Springer, 2010, pp. 243–257
2010
Earlier work this paper cites.
P. Sermanet, Y. LeCun, Traffic sign recognition with multi-scale convolutional networks, in: Neural Networks (IJCNN), The 2011 International Joint Conference on, IEEE, 2011, pp. 2809–2813
2011
Earlier work this paper cites.
J. Stallkamp, M. Schlipsing, J. Salmen, C. Igel, Man vs. computer: Benchmarking machine learning algorithms for traffic sign recognition, Neural networks 32 (2012) 323–332
2012
Earlier work this paper cites.
G. Dahl, J. W. Stokes, L. Deng, D. Yu, Large-scale malware classification using random projections and neural networks, in: Proceedings IEEE Conference on Acoustics, Speech, and Signal Processing, IEEE SPS, 2013
2013
Cited alongside, same era.
B. Biggio, I. Corona, D. Maiorca, B. Nelson, N. Srndic, P. Laskov, G. Giacinto, F. Roli, Evasion attacks against machine learning at test time, in: ECML/PKDD 2013, 2013, pp. 387–402
2013
Cited alongside, same era.
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, R. Fergus, Intriguing properties of neural networks, in: International Conference on Learning Representations, 2014
2014
Cited alongside, same era.
C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, R. Fergus, Intriguing properties of neural networks, 2014
2014
Cited alongside, same era.
Y. LeCun, Y. Bengio, G. Hinton, Deep learning, Nature 521 (2015) 436–444
N. Carlini, G. Katz, C. W. Barrett, D. L. Dill, Provably minimally-distorted adversarial examples, 2017
2017
Later among the works it cites.
V. Tjeng, K. Xiao, R. Tedrake, Evaluating robustness of neural networks with mixed integer programming, 2017
2017
Later among the works it cites.
N. Papernot, P. McDaniel, I. Goodfellow, S. Jha, Z. B. Celik, A. Swami, Practical black-box attacks against machine learning, in: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, ACM, 2017, pp. 506–519
2017
Later among the works it cites.
N. Narodytska, S. Kasiviswanathan, Simple black-box adversarial attacks on deep neural networks, in: 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 2017, pp. 1310–1318
2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2015
Cited alongside, same era.
S.-C. Wei, T.-J. Yen, Superpixels generating from the pixel-based k-means clustering., Journal of Multimedia Processing and Technologies 6 (3) (2015) 77–86
2015
Cited alongside, same era.
N. Papernot, P. McDaniel, S. Jha, M. Fredrikson, Z. B. Celik, A. Swami, The limitations of deep learning in adversarial settings, in: Security and Privacy (EuroS&P), 2016 IEEE European Symposium on, IEEE, 2016, pp. 372–387
2016
Cited alongside, same era.
M. T. Ribeiro, S. Singh, C. Guestrin, "Why should I trust you?": Explaining the predictions of any classifier, in: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD ’16, 2016, pp. 1135–1144
2016
Cited alongside, same era.
N. Carlini, D. Wagner, Towards evaluating the robustness of neural networks, in: Security and Privacy (SP), 2017 IEEE Symposium on, IEEE, 2017, pp. 39–57
2017
Cited alongside, same era.
G. Katz, C. Barrett, D. L. Dill, K. Julian, M. J. Kochenderfer, Reluplex: An efficient smt solver for verifying deep neural networks, in: R. Majumdar, V. Kunčak (Eds.), Computer Aided Verification, Springer International Publishing, Cham, 2017, pp. 97–117
2017
Cited alongside, same era.
X. Huang, M. Kwiatkowska, S. Wang, M. Wu, Safety verification of deep neural networks, in: R. Majumdar, V. Kunčak (Eds.), Computer Aided Verification, Springer International Publishing, Cham, 2017, pp. 3–29
2017
Cited alongside, same era.
S. Lundberg, S.-I. Lee, A unified approach to interpreting model predictions, in: NIPS2017, 2017
2017
Cited alongside, same era.
2018
Closest in time.
M. Wicker, X. Huang, M. Kwiatkowska, Feature-guided black-box safety testing of deep neural networks, in: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2018, pp. 408–426
2018
Closest in time.
T.-W. Weng, H. Zhang, H. Chen, Z. Song, C.-J. Hsieh, D. S. Boning, I. S. Dhillon, L. Daniel, Towards fast computation of certified robustness for relu networks, in: ICML, 2018
2018
Closest in time.
H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, L. Daniel, Efficient neural network robustness certification with general activation functions, in: NeurIPS, 2018
2018
Closest in time.
M. Mirman, T. Gehr, M. Vechev, Differentiable abstract interpretation for provably robust neural networks, in: J. Dy, A. Krause (Eds.), Proceedings of the 35th International Conference on Machine Learning, Vol. 80 of Proceedings of Machine Learning Research, PMLR, Stockholmsmässan, Stockholm Sweden, 2018, pp. 3578–3586
2018
Closest in time.
J. Z. Kolter, E. Wong, Provable defenses against adversarial examples via the convex outer adversarial polytope, in: ICML, 2018
2018
Closest in time.
E. Wong, F. Schmidt, J. H. Metzen, J. Z. Kolter, Scaling provable adversarial defenses, in: S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, R. Garnett (Eds.), Advances in Neural Information Processing Systems 31, Curran Associates, Inc., 2018, pp. 8400–8409
2018
Closest in time.
G. Singh, T. Gehr, M. Püschel, M. Vechev, An abstract domain for certifying neural networks, Proc. ACM Program. Lang. 3 (POPL) (2019) 41:1–41:30
2019
Closest in time.