Login / Signup
Robustness Verification for Transformers.
Zhouxing Shi
Huan Zhang
Kai-Wei Chang
Minlie Huang
Cho-Jui Hsieh
Published in:
CoRR (2020)
Keyphrases
</>
artificial intelligence
information systems
high robustness
verification method
neural network
decision making
model checking
computational efficiency
face verification
databases
information retrieval
genetic algorithm
social networks
case study
multiscale
formal verification