yeshaokai / auto_lirpa Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verified-intelligence/auto_lirpa
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