Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

20171,625 citationsBook Chapter

Authors

Guy Katz · Stanford University

Clark Barrett · Stanford University

David L. Dill · Stanford University

Kyle D. Julian · Stanford University

Mykel J. Kochenderfer · Stanford University

Topics & Keywords

Adversarial Robustness in Machine Learning Formal Methods in Verification Advanced Neural Network Applications

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-319-63387-9_5

Field-Weighted Citation Impact: 177.98

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks | Researchclopedia