Output Reachable Set Estimation and Verification for Multilayer Neural Networks
Challenging SMT solvers to verify neural networks