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

Copy SSH clone URLgit@gitlab1.ptb.de:ludwig10_masters_thesis/lp_nn_robustness_verification.git
Copy HTTPS clone URLhttps://gitlab1.ptb.de/ludwig10_masters_thesis/lp_nn_robustness_verification.git

Loading