Faith: An Efficient Framework for Transformer Verification on GPUs.

Boyuan Feng, Tianqi Tang, Yuke Wang, Zhaodong Chen, Zheng Wang, Shu Yang, Yuan Xie, Yufei Ding

Browse the full USENIX paper archive.