lp_nn_robustness_verification

Project information

This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.

Created on

December 21, 2022

Loading