Counterexample Guided Neural Network Quantization Refinement.
João Batista Pereira Matos Jr.Eddie B. de Lima FilhoIury BessaEdoardo ManinoXidan SongLucas C. CordeiroPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2024)
Keyphrases
- neural network
- model checking
- back propagation
- pattern recognition
- artificial neural networks
- quantization error
- network model
- fault diagnosis
- neural nets
- feed forward neural networks
- genetic algorithm
- fuzzy logic
- self organizing maps
- network architecture
- neural network model
- fuzzy artmap
- neural network is trained
- learning vector quantization
- color quantization
- back propagation neural network
- recurrent neural networks
- quantization noise
- image reconstruction from projections
- activation function
- multi layer
- prediction model
- feed forward
- radial basis function
- knn
- image processing
- learning algorithm
- machine learning