Skip to content
L

lp_nn_robustness_verification

Topics: robustness v... neural networks linear progr...

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

Find file