@vas-group-imperial
github

vas-group-imperial

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

venus

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. Venus implements a MILP-based verification method whereby it leverages dependency relations between the ReLU nodes to prune the search tree that needs to be considered during branch-and-bound. It additionally implements methods based on symbolic interval propagation and input domain splitting. Venus is developed at the Verification of Autonomous systems Lab at the Department of Computing, Imperial College London for the purposes of the Assured Autononmy Project.
Python
12
star
2

VeriNet

The VeriNet toolkit for verification of neural networks
Python
10
star
3

venus2

Verification tool for feedforward fully-connected and convolutional netwotks with ReLU activations.
Python
2
star
4

I-Repair

The I-Repair toolkit for repair of neural networks using limited data
Python
2
star
5

VeriNet-OpenSource

The open source version of the VeriNet toolkit for verification of neural networks.
Jupyter Notebook
1
star