The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.
Mark Niklas MüllerChristopher BrixStanley BakChangliu LiuTaylor T. JohnsonPublished in: CoRR (2022)
Keyphrases
- neural network
- international competition
- pattern recognition
- model checking
- multilayer perceptron
- artificial neural networks
- trading agent competition
- neural nets
- back propagation
- signature verification
- multi layer
- neural network model
- feed forward
- genetic algorithm
- recurrent neural networks
- fuzzy logic
- rule extraction
- computer science
- formal verification
- artificial intelligence
- radial basis function
- world wide
- face verification
- intelligence and security informatics
- verification method
- neural network is trained
- fault diagnosis