Boyuan Feng, Tianqi Tang 0001, Yuke Wang, Zhaodong Chen, Zheng Wang, Shu Yang, Yuan Xie 0001, Yufei Ding. Faith: An Efficient Framework for Transformer Verification on GPUs. In Jiri Schindler, Noa Zilberman, editors, 2022 USENIX Annual Technical Conference, USENIX ATC 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 167-182, USENIX Association, 2022. [doi]
Abstract is missing.