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

Yunruo Zhang, Lujia Shen, Shanqing Guo, Shouling Ji

Browse the full AAAI paper archive.