GitHub repository: Erkansukgen/auto_LiRPA
Description: auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs