Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification.
Shaojie XuJoel VaughanJie ChenAijun ZhangAgus SudjiantoPublished in: CoRR (2021)
Keyphrases
- neural network
- network architecture
- backpropagation neural networks
- pattern recognition
- artificial neural networks
- fuzzy logic
- peer to peer
- communication networks
- fuzzy systems
- network model
- computer networks
- network traffic
- network structure
- social networks
- spiking neural networks
- connection weights
- recurrent networks
- hopfield networks
- complex networks
- neural nets
- model checking
- fault diagnosis
- network management
- feedforward neural networks
- radial basis function network
- auto associative
- genetic algorithm