TY  - RPRT
TI  - Faith: An Efficient Framework for Transformer Verification on GPUs
AU  - Boyuan Feng
AU  - Tianqi Tang
AU  - Yuke Wang
AU  - Zhaodong Chen
AU  - Zheng Wang
AU  - Shu Yang
AU  - Yuan Xie
AU  - Yufei Ding
PY  - 2022
UR  - https://arxiv.org/abs/2209.12708
ID  - 2209.12708
ER  -