neural-network-verification
A lightweight Python package for setting up robustness experiments and to compute robustness distributions.
