Expediting Neural Network Verification via Network Reduction.
Yuyi ZhongRuiwei WangSiau-Cheng KhooPublished in: CoRR (2023)
Keyphrases
- neural network
- network model
- radial basis
- network architecture
- elman network
- network structure
- bp network
- back propagation
- model checking
- growing neural gas
- recurrent networks
- auto associative
- peer to peer
- artificial neural networks
- wavelet neural network
- hopfield network
- connection weights
- single layer
- hopfield neural network
- fuzzy logic
- communication networks
- neural network model
- computer networks
- network traffic
- complex networks
- hidden neurons
- pattern recognition
- face verification
- data sets
- bp neural network