GitHub topics: ibp-bounds
Verified-Intelligence/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Language: Python - Size: 33.2 MB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 325 - Forks: 93
huanzhang12/CROWN-IBP
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
Language: Python - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 87 - Forks: 13
