Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks