2 results found Sort:

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Created 2020-03-02
24 commits to master branch, last one 7 months ago
14
93
bsd-2-clause
10
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
Created 2019-06-05
12 commits to master branch, last one 3 years ago