Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Locating minimal infeasible constraint sets in linear programs

John W. Chinneck and Erik W. Dravnieks · 1991

Earlier work this paper cites.

Gradient-based learning applied to document recognition

Y. Lecun, L. Bottou, Y. Bengio, and P. Haffner · 1998

Earlier work this paper cites.

An extensible SAT-solver

Niklas Eén and Niklas Sörensson · 2003

Earlier work this paper cites.

A fast linear-arithmetic solver for DPLL(T)

Bruno Dutertre and Leonardo Mendonça de Moura · 2006

Earlier work this paper cites.

Decision Procedures – An Algorithmic Point of View

Daniel Kroening and Ofer Strichman · 2008

Earlier work this paper cites.

A History of Satisfiability

John Franco and John Martin · 2009

Earlier work this paper cites.

The MNIST database of handwritten digits, 2009

Yann Lecun and Corinna Cortes · 2009

Earlier work this paper cites.

An abstraction-refinement approach to verification of artificial neural networks

Luca Pulina and Armando Tacchella · 2010

Cited alongside, same era.

Challenging SMT solvers to verify neural networks

Luca Pulina and Armando Tacchella · 2012

Cited alongside, same era.

Yices 2.2

Bruno Dutertre · 2014

Cited alongside, same era.

Caffe: Convolutional architecture for fast feature embedding

Yangqing Jia, Evan Shelhamer, Jeff Donahue, Sergey Karayev, Jonathan Long, Ross Girshick, Sergio Guadarrama, and Trevor Darrell · 2014

Cited alongside, same era.

Fast and accurate deep network learning by exponential linear units (ELUs)

Djork-Arné Clevert, Thomas Unterthiner, and Sepp Hochreiter · 2015

Cited alongside, same era.

Deep learning in neural networks: An overview

Jürgen Schmidhuber · 2015

Cited alongside, same era.

A philosophy for developing trust in self-driving cars

Michael Wagner and Philip Koopman · 2015

Later among the works it cites.

Sketch-a-net that beats humans

Qian Yu, Yongxin Yang, Yi-Zhe Song, Tao Xiang, and Timothy M. Hospedales · 2015

Later among the works it cites.

Measuring neural net robustness with constraints

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, and Antonio Criminisi · 2016

Later among the works it cites.

Accurate ICP-based floating-point reasoning

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, and Bernd Becker · 2016

Later among the works it cites.

Safety verification of deep neural networks

Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu · 2017

Closest in time.

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