Popular repositories Loading

1. VeriNet VeriNet Public

   The VeriNet toolkit for verification of neural networks

   Python 20 11

2. venus venus Public

   Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check reachability and local adversarial robustness properties. Ve…

   Python 14 2

3. VeriNet-OpenSource VeriNet-OpenSource Public

   The open source version of the VeriNet toolkit for verification of neural networks.

   Jupyter Notebook 2 1

4. venus2 venus2 Public

   Verification tool for feedforward fully-connected and convolutional netwotks with ReLU activations.

   Python 2 1

5. I-Repair I-Repair Public

   The I-Repair toolkit for repair of neural networks using limited data

   Python 2