Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

  title={Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks},
  author={Guy Katz and Clark W. Barrett and David L. Dill and Kyle Julian and Mykel J. Kochenderfer},
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 174 citations. REVIEW CITATIONS
108 Citations
37 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 108 extracted citations

174 Citations

Citations per Year
Semantic Scholar estimates that this publication has 174 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 37 references

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

  • G. Katz, C. Barrett, D. Dill, K. Julian, M. Kochenderfer
  • Supplementary Material,
  • 2017
Highly Influential
6 Excerpts

Linear Programming: Foundations and Extensions

  • R. Vanderbei
  • Springer,
  • 1996
Highly Influential
4 Excerpts

Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic

  • T. King
  • PhD Thesis,
  • 2014
Highly Influential
3 Excerpts

Driessche, J

  • D. Silver, A. Huang, C. Maddison, A. Guez, L. Sifre, G. Van De
  • Schrittwieser, I. Antonoglou, V. Panneershelvam…
  • 2016
1 Excerpt

What is the Best Multi - Stage Architecture for Object Recognition ?

  • K. Jarrett, K. Kavukcuoglu, Y. LeCun
  • Proc . 12 th IEEE Int . Conf . on Computer Vision…
  • 2016

and K

  • M. Bojarski, D. Del Testa, +9 authors J. Zhao
  • Zieba. End to End Learning for Self-Driving Cars,
  • 2016
1 Excerpt

Similar Papers

Loading similar papers…