Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.
Stanley BakHoang-Dung TranKerianne HobbsTaylor T. JohnsonPublished in: CAV (1) (2020)
Keyphrases
- neural network
- pattern recognition
- search space
- data sets
- multi layer
- fuzzy logic
- shortest path
- optimal path
- neural nets
- feed forward
- neural network model
- back propagation
- artificial neural networks
- self organizing maps
- model checking
- high order
- case study
- image processing
- associative memory
- information retrieval
- improved algorithm
- machine learning
- geometric structure
- data mining