Robustness Verification for Transformers.
Zhouxing ShiHuan ZhangKai-Wei ChangMinlie HuangCho-Jui HsiehPublished in: ICLR (2020)
Keyphrases
- model checking
- artificial intelligence
- high robustness
- concurrent systems
- formal verification
- relational databases
- artificial neural networks
- evolutionary algorithm
- medical images
- digital libraries
- computational efficiency
- face verification
- formal methods
- multi agent
- person identification
- image processing
- databases