Topic: "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: 10 days ago - Pushed at: 3 months ago - Stars: 311 - Forks: 87
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: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 87 - Forks: 13
