Zonotope Domains for Lagrangian Neural Network Verification.
Matt JordanJonathan HayaseAlexandros G. DimakisSewoong OhPublished in: CoRR (2022)
Keyphrases
- neural network
- model checking
- real world
- artificial neural networks
- back propagation
- application domains
- neural network is trained
- artificial intelligence
- neural network model
- backpropagation neural network
- bp neural network
- neural nets
- network model
- fuzzy logic
- network architecture
- feed forward neural networks
- feedforward neural networks
- hidden layer
- fuzzy artmap
- complex domains
- face verification
- associative memory
- prediction model
- radial basis function