Implementation Details Of Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks | Towards Data Science

How to formally verify the bounds of your Neural Network