A 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.
machine-learning adversarial-attacks robustness-analysis neural-network-verification experiment-framework verification-tools
-
Updated
Aug 2, 2025 - Python