Robustness Verification for Attention Networks using Mixed Integer Programming - Hsuan-Cheng Liao; Chih-Hong Cheng; Maximilian Kneissl; Alois Knoll (2022)