Verified-Intelligence / auto_LiRPA Star 265 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
huanzhang12 / CROWN-IBP Star 93 Code Issues Pull requests Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch). robustness adversarial-machine-learning adversarial-examples adversarial-defense robustness-verification crown-ibp ibp-bounds crown-bounds verified-errors Updated Jun 7, 2021 Python