BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.
Yedi ZhangZhe ZhaoGuangke ChenFu SongTaolue ChenPublished in: CAV (1) (2021)
Keyphrases
- genetic algorithm
- neural nets
- quantitative analysis
- neural network
- artificial neural networks
- back propagation
- feed forward
- qualitative and quantitative analysis
- qualitative analysis
- fuzzy logic
- main contribution
- pattern recognition
- binary decision diagrams
- qualitative evaluation
- theoretical framework
- multilayer perceptron
- data sets
- speech recognition
- domain independent
- probabilistic model
- boolean functions