Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.
Yedi ZhangZhe ZhaoGuangke ChenFu SongTaolue ChenPublished in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
- quantitative analysis
- neural network
- qualitative analysis
- pattern recognition
- qualitative and quantitative analysis
- qualitative evaluation
- artificial neural networks
- fuzzy logic
- feed forward
- fault diagnosis
- neural network model
- fuzzy systems
- genetic algorithm
- back propagation
- boolean functions
- multilayer perceptron