certified-defense-models topic

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

Verified-Intelligence

[ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy.

zbh2047