auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
-
Updated
Apr 13, 2024 - Python
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
Add a description, image, and links to the ibp-bounds topic page so that developers can more easily learn about it.
To associate your repository with the ibp-bounds topic, visit your repo's landing page and select "manage topics."