A Certified Proof Checker for Deep Neural Network Verification.
Remi DesmartinOmri IsacEkaterina KomendantskayaKathrin StarkGrant O. PassmoreGuy KatzPublished in: CoRR (2024)
Keyphrases
- neural network
- pattern recognition
- model checking
- back propagation
- neural network model
- recurrent neural networks
- formal proof
- neural network is trained
- fuzzy logic
- theorem prover
- multi layer
- fault diagnosis
- knn
- backpropagation neural network
- artificial neural networks
- multi layer perceptron
- feedforward neural networks
- neural model
- formal verification
- asynchronous circuits
- verification method
- genetic algorithm
- machine learning