Neural Network Verification with Proof Production.
Omri IsacClark W. BarrettMin ZhangGuy KatzPublished in: FMCAD (2022)
Keyphrases
- neural network
- back propagation
- formal proof
- neural network model
- genetic algorithm
- theorem proving
- model checking
- artificial neural networks
- formal verification
- face verification
- production system
- pattern recognition
- bp neural network
- neural nets
- distribution networks
- production scheduling
- fuzzy artmap
- signature verification
- verification method
- learning vector quantization
- fuzzy neural network
- multi layer
- theorem prover
- neural network is trained
- recurrent neural networks
- self organizing maps
- backpropagation neural network
- false acceptance rate
- linear logic
- complete axiomatization
- production process
- feed forward neural networks
- formal methods
- production planning
- network architecture
- network model
- prediction model
- temporal logic
- learning algorithm