Neural Network Verification with Proof Production.
Omri IsacClark W. BarrettMin ZhangGuy KatzPublished in: CoRR (2022)
Keyphrases
- neural network
- artificial neural networks
- model checking
- formal proof
- pattern recognition
- back propagation
- feed forward
- neural network is trained
- fuzzy logic
- theorem prover
- manufacturing processes
- formal verification
- neural nets
- face verification
- multilayer perceptron
- theorem proving
- production scheduling
- real time
- production planning
- multi layer perceptron
- production process
- formal methods
- feed forward neural networks
- network architecture
- verification method
- functional verification
- multi layer
- genetic algorithm
- fault diagnosis
- neural network model
- production system
- radial basis function
- data sets
- database systems
- distribution networks
- linear logic
- fuzzy artmap
- auto associative
- self organizing maps
- manufacturing process
- training process
- hopfield neural network
- production line
- signature verification
- production cost
- neural model
- recurrent neural networks
- prediction model
- bp neural network
- activation function