%0 Conference Paper %1 conf/safecomp/LiaoCEK23 %A Liao, Brian Hsuan-Cheng %A Cheng, Chih-Hong %A Esen, Hasan %A Knoll, Alois %B SAFECOMP %D 2023 %E Guiochet, Jérémie %E Tonetta, Stefano %E Bitsch, Friedemann %I Springer %K dblp %P 89-103 %T Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2023.html#LiaoCEK23 %V 14181 %@ 978-3-031-40923-3

@inproceedings{conf/safecomp/LiaoCEK23, added-at = {2023-09-15T00:00:00.000+0200}, author = {Liao, Brian Hsuan-Cheng and Cheng, Chih-Hong and Esen, Hasan and Knoll, Alois}, biburl = {https://www.bibsonomy.org/bibtex/26cde3490da5735d61ab8009fa75ba28a/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2023}, editor = {Guiochet, Jérémie and Tonetta, Stefano and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-031-40923-3_8}, interhash = {808f62c3874c103c3bcb19509e23bc52}, intrahash = {6cde3490da5735d61ab8009fa75ba28a}, isbn = {978-3-031-40923-3}, keywords = {dblp}, pages = {89-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:58.000+0200}, title = {Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2023.html#LiaoCEK23}, volume = 14181, year = 2023 }