@misc{indiciaee437ee2d9aed,
  title = {Faith: An Efficient Framework for Transformer Verification on GPUs},
  author = {Boyuan Feng and Tianqi Tang and Yuke Wang and Zhaodong Chen and Zheng Wang and Shu Yang and Yuan Xie and Yufei Ding},
  year = {2022},
  url = {https://arxiv.org/abs/2209.12708},
  note = {Source identifier: 2209.12708}
}