Symbolic Execution for Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks