Pinned Loading

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

   SpecRepair is a neural network repair algorithm.

   Python 3 2

2. eran eran Public

   Forked from eth-sri/eran

   A modification of the ETH Robustness Analyzer for Deep Neural Networks

   Python 1

3. sen-uni-kn/hyperproperties-supplementary sen-uni-kn/hyperproperties-supplementary Public

   Supplementary material for the paper "Verifying Global Neural Network Specifications using Hyperproperties"

   Python

4. sen-uni-kn/pmx-nn-repair sen-uni-kn/pmx-nn-repair Public

   Neural Network Repair applied to learned pharmacometric models

   Python