certified-defense-models

There are 1 repository under certified-defense-models topic.

Verified-Intelligence / auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
adversarial-machine-learning robustness robustness-verification adversarial-defense adversarial-examples ibp-bounds crown-bound certified-defense-models
Language:Python 325
zbh2047 / L_inf-dist-net
[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
Language:Python 42

Verified-Intelligence / auto_LiRPA