Adversarial Robustness Guarantees for Quantum Classifiers | Synapse