auto-lirpa (pypi): A library for Automatic Linear Relaxation based Perturbation Analysis (LiRPA) on general computational graphs, with a focus on adversarial robustness verification and certification of deep neural networks.
Keywords: adversarial-defense|adversarial-examples|adversarial-machine-learning|certified-defense-models|crown-bound|ibp-bounds|robustness|robustness-verification