HOBAT: Batch Verification for Homogeneous Structural Neural Networks.
Jingyang LiGuoqiang LiPublished in: ASE (2023)
Keyphrases
- neural network
- fuzzy logic
- face verification
- structural information
- model checking
- self organizing maps
- pattern recognition
- formal verification
- image processing
- fuzzy systems
- neural nets
- neural network model
- back propagation
- data sets
- feed forward
- artificial neural networks
- training data
- multilayer perceptron
- recurrent neural networks
- case study
- decision trees
- structural analysis
- batch mode
- batch size
- control system
- expert systems
- training process
- decision making
- feedforward neural networks
- database
- online algorithms