Fetching the paper…
Reading the bibliography…
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
P. Cousot and R. Cousot · 1977
Earlier work this paper cites.
The mnist database of handwritten digits, 1998
Y. LeCun, C. Cortes, and C. J. Burges · 1998
Earlier work this paper cites.
Review of nonlinear mixed-integer and disjunctive programming techniques
I. E. Grossmann · 2002
Earlier work this paper cites.
Efficient approximations for the arctangent function
S. Rajan, S. Wang, R. Inkol, and A. Joyal · 2006
Earlier work this paper cites.
Computational experience with a software framework for parallel integer programming
Y. Xu, T. K. Ralphs, L. Ladányi, and M. J. Saltzman · 2009
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.
Fast computation of arctangent functions for embedded applications: A comparative analysis
A. Ukil, V. H. Shah, and B. Deck · 2011
Earlier work this paper cites.
Learning from data
Y. S. Abu-Mostafa, M. Magdon-Ismail, and H.-T. Lin · 2012
Earlier work this paper cites.
Challenging SMT solvers to verify neural networks
L. Pulina and A. Tacchella · 2012
Earlier work this paper cites.
Playing atari with deep reinforcement learning
V. Mnih, K. Kavukcuoglu, D. Silver, A. Graves, I. Antonoglou, D. Wierstra, and M. Riedmiller · 2013
Cited alongside, same era.
Explaining and harnessing adversarial examples
I. J. Goodfellow, J. Shlens, and C. Szegedy · 2014
Cited alongside, same era.
Convnetjs: Deep learning in your browser (2014)
A. Karpathy · 2014
Cited alongside, same era.
ν \nu Z-An Optimizing SMT Solver
N. Bjørner, A.-D. Phan, and L. Fleckenstein · 2015
Cited alongside, same era.
Certification considerations for adaptive systems
S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, and E. Engstrom · 2015
Cited alongside, same era.
Deep neural networks are easily fooled: High confidence predictions for unrecognizable images
Measuring neural net robustness with constraints
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. Nori, and A. Criminisi · 2016
Later among the works it cites.
End to end learning for self-driving cars
M. Bojarski, D. D. Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang, X. Zhang, J. Zhao, and K. Zieba · 2016
Later among the works it cites.
Linear programming and extensions
G. Dantzig · 2016
Later among the works it cites.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2016
Later among the works it cites.
Adversarial examples in the physical world
A. Kurakin, I. Goodfellow, and S. Bengio · 2016
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Nguyen, J. Yosinski, and J. Clune · 2015
Cited alongside, same era.
Towards Verification of Artificial Neural Networks
K. Scheibler, L. Winterer, R. Wimmer and B. Becker · 2015
Cited alongside, same era.
Concrete problems in ai safety
D. Amodei, C. Olah, J. Steinhardt, P. Christiano, J. Schulman, and D. Mané · 2016
Cited alongside, same era.
Later among the works it cites.
Practical black-box attacks against deep learning systems using adversarial examples
N. Papernot, P. McDaniel, I. Goodfellow, S. Jha, Z. B. Celik, and A. Swami · 2016
Later among the works it cites.
Distillation as a defense to adversarial perturbations against deep neural networks
N. Papernot, P. McDaniel, X. Wu, S. Jha, and A. Swami · 2016
Later among the works it cites.
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
Closest in time.