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
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