Pinned Loading

1. sen-uni-kn/specrepair sen-uni-kn/specrepair Public

   SpecRepair is a neural network repair algorithm.

   Python 3 2

2. sen-uni-kn/probspecs sen-uni-kn/probspecs Public

   Probabilistic Specifcation Verification of Neural Networks

   Python 3 2

3. sen-uni-kn/MiniACSIncome sen-uni-kn/MiniACSIncome Public

   MiniACSIncome: A benchmark for fairness verification of neural networks.

   Jupyter Notebook 1

4. sen-uni-kn/verishap sen-uni-kn/verishap Public

   Certified bounds on SHAP values for neural networks using branch-and-bound with linear relaxation-based bound propagation.

   Python 1