Verification of Neural Networks: Enhancing Scalability through Pruning.
Dario GuidottiFrancesco LeofanteLuca PulinaArmando TacchellaPublished in: CoRR (2020)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- back propagation
- fuzzy systems
- fuzzy logic
- genetic algorithm
- formal verification
- pruning method
- feed forward
- neural network model
- model checking
- search space
- fault tolerance
- recurrent neural networks
- neural nets
- pruning methods
- case study
- signature verification
- neural network is trained
- tree pruning
- adaptive resonance theory
- tree construction
- effective pruning
- highly scalable
- formal methods
- face verification
- network architecture
- training algorithm
- multi layer
- expert systems
- artificial intelligence