First Three Years of the International Verification of Neural Networks Competition (VNN-COMP).
Christopher BrixMark Niklas MüllerStanley BakTaylor T. JohnsonChangliu LiuPublished in: CoRR (2023)
Keyphrases
- neural network
- international competition
- artificial neural networks
- pattern recognition
- model checking
- signature verification
- face verification
- years ago
- fuzzy logic
- feed forward
- self organizing maps
- neural network model
- world wide
- fuzzy systems
- recurrent neural networks
- back propagation
- sufficient conditions
- neural nets
- computer science
- network architecture
- case study
- decision trees
- activation function
- information systems
- genetic algorithm
- formal verification
- hopfield neural network
- international trade
- machine learning