Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).
Chih-Hong ChengGeorg NührenbergChung-Hao HuangHarald RuessPublished in: VSTTE (2018)
Keyphrases
- neural network
- activation function
- fuzzy logic
- artificial neural networks
- back propagation
- pattern recognition
- self organizing maps
- genetic algorithm
- fault diagnosis
- associative memory
- neural model
- multilayer perceptron
- model checking
- multi layer perceptron
- formal verification
- face verification
- feed forward neural networks
- neural models
- spike trains
- false acceptance rate
- neuron model
- signature verification
- intra class
- network architecture
- training process
- document images
- input image