Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
Zhilu WangChao HuangQi ZhuPublished in: IJCAI (2023)
Keyphrases
- extended abstract
- neural network
- network model
- network architecture
- pattern recognition
- artificial neural networks
- backpropagation neural networks
- communication networks
- global information
- recurrent networks
- network structure
- third party
- neural nets
- elman network
- hopfield networks
- hopfield network
- radial basis function network
- database design
- fault diagnosis
- computationally efficient
- peer to peer
- learning algorithm