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]
@inproceedings{Feng0WCWY0D22,
title = {Faith: An Efficient Framework for Transformer Verification on GPUs},
author = {Boyuan Feng and Tianqi Tang 0001 and Yuke Wang and Zhaodong Chen and Zheng Wang and Shu Yang and Yuan Xie 0001 and Yufei Ding},
year = {2022},
url = {https://www.usenix.org/conference/atc22/presentation/feng},
researchr = {https://researchr.org/publication/Feng0WCWY0D22},
cites = {0},
citedby = {0},
pages = {167-182},
booktitle = {2022 USENIX Annual Technical Conference, USENIX ATC 2022, Carlsbad, CA, USA, July 11-13, 2022},
editor = {Jiri Schindler and Noa Zilberman},
publisher = {USENIX Association},
isbn = {978-1-939133-29-8},
}