Verification of Neural Networks: Enhancing Scalability Through Pruning.
Dario GuidottiFrancesco LeofanteLuca PulinaArmando TacchellaPublished in: ECAI (2020)
Keyphrases
- neural network
- model checking
- pruning method
- pattern recognition
- fuzzy logic
- formal methods
- fault tolerance
- artificial neural networks
- genetic algorithm
- search space
- competitive learning
- pruning methods
- highly scalable
- recurrent neural networks
- neural nets
- pruning algorithms
- global exponential stability
- feed forward
- self organizing maps
- multi layer
- fuzzy systems
- neural network model
- fault diagnosis
- response time
- asynchronous circuits
- machine learning
- real time