The Robustness Verification of Linear Sound Quantum Classifiers. - Su Bonan (CoRR, 2023)