Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Challenging SMT solvers to verify neural networks