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
zbh2047
L_inf-dist-net zbh2047
7
41
unknown
2
[ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy.
l-inf-dist-net adversarial-robustness certified-defense-models
Created 2021-02-10
17 commits to main branch, last one 2 years ago