anewage / depAI-proj

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