Zonotope Domains for Lagrangian Neural Network Verification.
Matt JordanJonathan HayaseAlex DimakisSewoong OhPublished in: NeurIPS (2022)
Keyphrases
- neural network
- back propagation
- artificial neural networks
- neural network is trained
- real world
- neural network model
- model checking
- pattern recognition
- self organizing maps
- genetic algorithm
- feed forward
- recurrent neural networks
- network architecture
- fuzzy neural network
- fermentation process
- verification method
- relaxation algorithm
- asynchronous circuits
- learning vector quantization
- signature verification
- feed forward neural networks
- face verification
- training algorithm
- associative memory
- application domains
- fuzzy logic