GitHub repository: BjoernLudwigPTB/lp_nn_robustness_verification
Primary language: Jupyter Notebook
Created: 2023-01-10T01:39:09Z
Description: This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the robustness verification portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".