Sign in

Faith: An Efficient Framework for Transformer Verification on GPUs.

Boyuan FengTianqi TangYuke WangZhaodong ChenZheng WangShu YangYuan XieYufei Ding
Published in: CoRR (2022)
Keyphrases
  • main contribution
  • databases
  • neural network
  • data mining
  • probabilistic model
  • fuzzy logic
  • theoretical framework
  • conceptual framework