R
robustness verification
Projects with this topic
-
This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.
UpdatedUpdated
This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.