Fetching the paper…
Reading the bibliography…
Neural networks are one of the most investigated and widely used techniques in Machine Learning.
Direct adaptive aircraft control using dynamic cell structure neural networks
Charles C Jorgensen · 1997
Earlier work this paper cites.
Theory of linear and integer programming
Alexander Schrijver · 1999
Earlier work this paper cites.
Verification of a trained neural network accuracy
R. R. Zakrzewski · 2001
Earlier work this paper cites.
Guidance for the Verification and Validation of Neural Networks (Emerging Technologies)
Laura L. Pullum, Brian J. Taylor, and Marjorie A. Darrah · 2007
Earlier work this paper cites.
Handbook of Satisfiability
Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors · 2009
Earlier work this paper cites.
Handbook of practical logic and automated reasoning
John Harrison · 2009
Earlier work this paper cites.
An abstraction-refinement approach to verification of artificial neural networks
Luca Pulina and Armando Tacchella · 2010
Earlier work this paper cites.
Statistical model checking for cyber-physical systems
Edmund M Clarke and Paolo Zuliani · 2011
Earlier work this paper cites.
A hybrid approach to cyber-physical systems verification
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele · 2012
Earlier work this paper cites.
Challenging SMT solvers to verify neural networks
Luca Pulina and Armando Tacchella · 2012
Earlier work this paper cites.
Introduction to the special section on deep learning for speech and language processing
Dong Yu, Geoffrey E. Hinton, Nelson Morgan, Jen-Tzung Chien, and Shigeki Sagayama · 2012
Earlier work this paper cites.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus · 2014
Earlier work this paper cites.
Deepface: Closing the gap to human-level performance in face verification
Yaniv Taigman, Ming Yang, Marc’Aurelio Ranzato, and Lior Wolf · 2014
Cited alongside, same era.
Binaryconnect: Training deep neural networks with binary weights during propagations
Matthieu Courbariaux, Yoshua Bengio, and Jean-Pierre David · 2015
Cited alongside, same era.
Explaining and harnessing adversarial examples
Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy · 2015
Cited alongside, same era.
Deep learning
Yann LeCun, Yoshua Bengio, and Geoffrey E. Hinton · 2015
Cited alongside, same era.
Towards verification of artificial neural networks
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, and Bernd Becker · 2015
Cited alongside, same era.
Measuring neural net robustness with constraints
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, and Antonio Criminisi · 2016
Verification of binarized neural networks
Chih-Hong Cheng, Georg Nührenberg, and Harald Ruess · 2017
Later among the works it cites.
Output range analysis for deep neural networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan, and Ashish Tiwari · 2017
Later among the works it cites.
Formal verification of piece-wise linear feed-forward neural networks
Rüdiger Ehlers · 2017
Later among the works it cites.
Deep neural networks as 0-1 mixed integer linear programs: A feasibility study
Matteo Fischetti and Jason Jo · 2017
Later among the works it cites.
Deepsafe: A data-driven approach for checking adversarial robustness in neural networks
Divya Gopinath, Guy Katz, Corina S. Pasareanu, and Clark Barrett · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
End to end learning for self-driving cars
Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D. Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, Xin Zhang, Jake Zhao, and Karol Zieba · 2016
Cited alongside, same era.
Binarized neural networks
Itay Hubara, Matthieu Courbariaux, Daniel Soudry, Ran El-Yaniv, and Yoshua Bengio · 2016
Cited alongside, same era.
Policy compression for aircraft collision avoidance systems
Kyle D Julian, Jessica Lopez, Jeffrey S Brush, Michael P Owen, and Mykel J Kochenderfer · 2016
Cited alongside, same era.
Piecewise linear neural network verification: A comparative study
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, and M. Pawan Kumar · 2017
Cited alongside, same era.
Adversarial examples are not easily detected: Bypassing ten detection methods
Nicholas Carlini and David A. Wagner · 2017
Cited alongside, same era.
Maximum resilience of artificial neural networks
Chih-Hong Cheng, Georg Nührenberg, and Harald Ruess · 2017
Cited alongside, same era.
Later among the works it cites.
Safety verification of deep neural networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu · 2017
Later among the works it cites.
Reluplex: An efficient SMT solver for verifying deep neural networks
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer · 2017
Later among the works it cites.
Verifying properties of binarized deep neural networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, and Toby Walsh · 2017
Later among the works it cites.
Verifying neural networks with mixed integer programming
Vincent Tjeng and Russ Tedrake · 2017
Later among the works it cites.
Constrained image generation using binarized neural networks with decision procedures
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, and Mooly Sagiv · 2018
Closest in time.
Toward scalable verification for safety-critical deep networks
Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark Barrett, and Mykel J. Kochenderfer · 2018
Closest in time.