Fetching the paper…
Reading the bibliography…
We address the problem of verifying neural-based perception systems implemented by convolutional neural networks.
Gradient-based learning applied to document recognition
Y. LeCun, L. Bottou, Y. Y. Bengio, and P. Haffner · 1998
Earlier work this paper cites.
Multiple view geometry in computer vision
R. Hartley and A. Zisserman · 2003
Earlier work this paper cites.
Pattern Recognition and Machine Learning
C. Bishop · 2006
Earlier work this paper cites.
Explaining and harnessing adversarial examples (2014)
I. Goodfellow, J. Shlens, and C. Szegedy · 2014
Earlier work this paper cites.
Image processing, analysis, and machine vision
M. Sonka, V. Hlavac, and R. Boyle · 2014
Earlier work this paper cites.
Imagenet large scale visual recognition challenge
O. Russakovsky, J. Denga, H. S. J. Krause, S. Satheesh, M. S, Z. Huang, A. Karpathy, A. Khosla, and M. Bernstein · 2015
Earlier work this paper cites.
Deep learning
A. Goodfellow, Y. Bengio, and A. Courville · 2016
Cited alongside, same era.
Gurobi optimizer reference manual
Z. Gu, E. Rothberg, and R. Bixby · 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.
Formal verification of piece-wise linear feed-forward neural networks
R. Ehlers · 2017
Cited alongside, same era.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2017
Cited alongside, same era.
Reluplex: An efficient SMT solver for verifying deep neural networks
G. Katz, C. W. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer · 2017
Cited alongside, same era.
An approach to reachability analysis for feed-forward relu neural networks
A. Lomuscio and L. Maganti · 2017
Later among the works it cites.
Verifying properties of binarized deep neural networks
N. Narodytska, S. P. Kasiviswanathan, L. Ryzhyk, M. M. Sagiv, and T. Walsh · 2017
Later among the works it cites.
Towards practical verification of machine learning: The case of computer vision systems
K. Pei, Y. Cao, J. Yang, and S. Jana · 2017
Later among the works it cites.
Reachability analysis for neural agent-environment systems
M. Akintunde, A. Lomuscio, L. Maganti, and E. Pirovano · 2018
Closest in time.
A dual approach to scalable verification of deep networks
K. Dvijotham, R. Stanforth, S. Gowal, T. Mann, and P. Kohli · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Closest in time.
Formal specification for deep neural networks
S. Seshia, A. Desai, T. Dreossi, D. Freemont, S. Ghos, E. Kim, S. Shivakumar, M. Vazquez-Chanlatte, and X. Yue · 2018
Closest in time.