The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results.
Stanley BakChangliu LiuTaylor T. JohnsonPublished in: CoRR (2021)
Keyphrases
- neural network
- international competition
- model checking
- back propagation
- pattern recognition
- trading agent competition
- artificial neural networks
- neural network model
- fuzzy logic
- computer science
- fuzzy systems
- artificial intelligence
- recurrent neural networks
- associative memory
- network architecture
- management science
- formal verification
- adaptive resonance theory
- multilayer perceptron
- asynchronous circuits
- signature verification
- fuzzy neural network
- fault diagnosis
- search engine
- genetic algorithm