Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Rectified Linear Units Improve Restricted Boltzmann Machines