Metadata-Version: 2.1
Name: auto-LiRPA
Version: 0.2
Summary: A library for Automatic Linear Relaxation based Perturbation Analysis (LiRPA) on general computational graphs, with a focus on adversarial robustness verification and certification of deep neural networks.
Home-page: https://github.com/KaidiXu/auto_LiRPA
Author: Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Shiqi Wang
Author-email: xu.kaid@husky.neu.edu, zhouxingshichn@gmail.com, huan@huan-zhang.com, wangyihan617@gmail.com, sw3215@columbia.edu
License: BSD
Platform: any
License-File: LICENSE
Requires-Dist: torch (<1.9.0,>=1.8.0)
Requires-Dist: torchvision (<0.10,>=0.9)
Requires-Dist: numpy (>=1.16)
Requires-Dist: packaging (>=20.0)
Requires-Dist: pytest (>=5.0)
Requires-Dist: appdirs (>=1.4)
Requires-Dist: pyyaml (>=5.0)

UNKNOWN

