Search Results for author:
Found 1 papers, 1 papers with code
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
