VERONA
PublicA lightweight Python package for setting up adversarial robustness experiments and to compute robustness distributions. Standalone package implemets adversarial attacks. Can be extended with the ada-auto-verify plugin to enable complete verification.