ARENA: Enhancing Abstract Refinement for Neural Network Verification.
Yuyi ZhongQuang-Trung TaSiau-Cheng KhooPublished in: SPLASH Companion (2022)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- higher level
- model checking
- neural network model
- feed forward
- neural network is trained
- learning vector quantization
- high level
- fuzzy logic
- self organizing maps
- data mining
- formal verification
- face verification
- bp neural network
- low level
- pattern recognition
- recurrent neural networks
- multi layer
- multi layer perceptron
- activation function
- learning rules
- knowledge base
- decision making
- genetic algorithm
- verification method
- concurrent systems
- machine learning
- hybrid neural network