Embedded Proofs for Verifiable Neural Networks.
Hervé ChabanneJulien KeufferRefik MolvaPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- neural network
- pattern recognition
- embedded systems
- neural network model
- sufficient conditions
- genetic algorithm
- artificial neural networks
- fuzzy logic
- back propagation
- multilayer perceptron
- fuzzy systems
- multi layer
- image processing
- feed forward
- associative memory
- machine learning
- database
- theorem proving
- low cost
- training process
- network architecture
- decision procedures