Towards Verifiable Robustness of Transformer-Based Networks
To run the main workflow, please use the following pattern:
$:python src/certify.py --model akahana/vit-base-cats-vs-dogs --dimension 224 --dataset cats_vs_dogs --threshold 0.8 --partial 100