Robustness Verification for Transformers | Read Paper on Bytez