Towards a Certified Proof Checker for Deep Neural Network Verification.
Remi DesmartinOmri IsacGrant O. PassmoreKathrin StarkGuy KatzEkaterina KomendantskayaPublished in: CoRR (2023)
Keyphrases
- fingerprint verification
- neural network
- artificial neural networks
- pattern recognition
- neural network model
- deep learning
- hidden layer
- back propagation
- feed forward
- prediction model
- fuzzy artmap
- auto associative
- feed forward neural networks
- activation function
- theorem prover
- database
- radial basis function
- neural model
- fault diagnosis
- learning vector quantization
- fuzzy logic
- support vector
- artificial intelligence
- linear logic
- backpropagation neural network