kyriection / auto_lirpa Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verified-intelligence/auto_lirpa
[NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks
Home Page: https://arxiv.org/pdf/2002.12920
License: BSD 3-Clause "New" or "Revised" License