Login / Signup
Faith: An Efficient Framework for Transformer Verification on GPUs.
Boyuan Feng
Tianqi Tang
Yuke Wang
Zhaodong Chen
Zheng Wang
Shu Yang
Yuan Xie
Yufei Ding
Published in:
USENIX Annual Technical Conference (2022)
Keyphrases
</>
main contribution
theoretical framework
data sets
search engine
knowledge base
multiscale
evolutionary algorithm
probabilistic model
fuzzy logic
general purpose
framework enables