Verified-Intelligence / auto_LiRPA Star 267 Code Issues Pull requests auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs robustness adversarial-machine-learning adversarial-examples adversarial-defense robustness-verification ibp-bounds crown-bound certified-defense-models Updated Apr 13, 2024 Python
zbh2047 / L_inf-dist-net Star 41 Code Issues Pull requests [ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy. adversarial-robustness certified-defense-models l-inf-dist-net Updated Mar 16, 2022 Python