Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

CAV, 2017.

Cited by: 578|Bibtex|Views38|Links
EI

Abstract:

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 ...More

Code:

Data:

Your rating :
0

 

Tags
Comments