1 result found Sort:

Verified-Intelligence
auto_LiRPA Verified-Intelligence
67
269
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 2 months ago