%0 Journal Article %1 journals/corr/abs-2202-03932 %A Liao, Hsuan-Cheng %A Cheng, Chih-Hong %A Kneißl, Maximilian %A Knoll, Alois C. %D 2022 %J CoRR %K dblp %T Robustness Verification for Attention Networks using Mixed Integer Programming. %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-03932 %V abs/2202.03932

@article{journals/corr/abs-2202-03932, added-at = {2022-02-10T00:00:00.000+0100}, author = {Liao, Hsuan-Cheng and Cheng, Chih-Hong and Kneißl, Maximilian and Knoll, Alois C.}, biburl = {https://www.bibsonomy.org/bibtex/2621b5db9819493c89bd0d2081be580f5/dblp}, ee = {https://arxiv.org/abs/2202.03932}, interhash = {6bc16398005f21ebf7c4bebbc80446e5}, intrahash = {621b5db9819493c89bd0d2081be580f5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:50:29.000+0200}, title = {Robustness Verification for Attention Networks using Mixed Integer Programming.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-03932}, volume = {abs/2202.03932}, year = 2022 }