GitHub repository: KaidiXu/auto_LiRPA
Primary language: Python
Created: 2020-03-02T00:55:46Z
Description: [NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks