2 results found Sort:

Verified-Intelligence
auto_LiRPA Verified-Intelligence
77
290
other
8
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
ibp-bounds robustness crown-bound adversarial-defense adversarial-examples robustness-verification certified-defense-models adversarial-machine-learning
Created 2020-03-02
24 commits to master branch, last one 8 months ago
huanzhang12
CROWN-IBP huanzhang12
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).
crown-ibp ibp-bounds robustness crown-bounds verified-errors adversarial-defense adversarial-examples robustness-verification adversarial-machine-learning
Created 2019-06-05
12 commits to master branch, last one 3 years ago