Author of the publication

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.

, , , and . SAFECOMP, volume 14181 of Lecture Notes in Computer Science, page 89-103. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus., , , , and . EDCC Workshops, volume 2078 of Communications in Computer and Information Science, page 49-61. Springer, (2024)EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union., , , and . CoRR, (2024)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems., , , , , , , , , and 11 other author(s). AISoLA, volume 14380 of Lecture Notes in Computer Science, page 256-278. Springer, (2023)Are Transformers More Robust? Towards Exact Robustness Verification for Transformers., , , and . SAFECOMP, volume 14181 of Lecture Notes in Computer Science, page 89-103. Springer, (2023)OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems., , , , and . ICSE Companion, page 94-98. ACM, (2024)