VeriPrune: Equivalence verification of node pruned neural network.
Weiru WangKai WangZhiyang ChengYilong YangPublished in: Neurocomputing (2024)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- bp neural network
- fault diagnosis
- model checking
- fuzzy logic
- neural network is trained
- image reconstruction from projections
- pruning algorithm
- network architecture
- recurrent neural networks
- neural network model
- prediction model
- neural nets
- hidden layer
- face verification
- formal verification
- feed forward
- learning vector quantization
- directed graph
- fuzzy neural network
- feedforward neural networks