Parallel Verification for δ-Equivalence of Neural Network Quantization.
Pei HuangYuting YangHaoze WuIeva DaukantasMin WuFuqi JiaClark W. BarrettPublished in: SAIV (2014)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- pattern recognition
- learning vector quantization
- fuzzy logic
- feedforward neural networks
- parallel processing
- neural nets
- neural network is trained
- formal verification
- neural network model
- learning algorithm
- multilayer perceptron
- multi layer
- network model
- training algorithm
- shared memory
- parallel computing
- massively parallel
- computer architecture
- model checking
- multiresolution