1 result found Sort:

Verified-Intelligence
auto_LiRPA Verified-Intelligence
79
292
other
7
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
26 commits to master branch, last one 9 days ago