Lujia Shen

GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers

Transformers based on attention mechanisms exhibit vulnerability to adversarial examples, posing a substantial threat to the security of their applications. Aiming to solve this problem, the concept of robustness certification is introduced to formally ascertain the presence of any adversarial examp…