Robustness Verification for Attention Networks using Mixed Integer Programming

Open in new window