Skip to content
L

lp_nn_robustness_verification

Project ID: 2171

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