Implementation Details Of Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
16 min read
CAT
January 11, 2024
Matthew Daw How to formally verify the bounds of your Neural Network Photo by NEOM on Unsplash Reluplex is...