Faith: An Efficient Framework for Transformer Verification on GPUs

Download PDF
Open Webpage

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

Published: 01 Jan 2022, Last Modified: 15 May 2025USENIX ATC 2022EveryoneRevisionsBibTeXCC BY-SA 4.0