Towards a Certified Proof Checker for Deep Neural Network Verification.
Remi DesmartinOmri IsacGrant O. PassmoreKathrin StarkEkaterina KomendantskayaGuy KatzPublished in: LOPSTR (2023)
Keyphrases
- neural network
- back propagation
- artificial neural networks
- pattern recognition
- database
- formal proof
- network model
- multi layer
- theorem proving
- model checking
- fault diagnosis
- learning vector quantization
- activation function
- image reconstruction from projections
- face verification
- formal methods
- deep learning
- fuzzy artmap
- multilayer perceptron
- neural network model
- self organizing maps
- neural network is trained
- fuzzy logic
- genetic algorithm
- data sets
- asynchronous circuits
- verification method
- auto associative
- formal verification
- theorem prover
- fuzzy neural network
- training algorithm
- hidden layer
- neural nets
- incremental learning
- feed forward
- petri net
- machine learning
- real time