The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.
Christopher BrixStanley BakChangliu LiuTaylor T. JohnsonPublished in: CoRR (2023)
Keyphrases
- machine learning
- neural network
- pattern recognition
- international competition
- computer science
- multilayer perceptron
- model checking
- data mining
- artificial neural networks
- fuzzy logic
- face verification
- rule extraction
- neural network model
- fuzzy systems
- training process
- back propagation
- signature verification
- asynchronous circuits
- functional verification
- trading agent competition
- radial basis function
- neural nets
- world wide
- supply chain
- formal verification
- south african
- intelligence and security informatics
- self organizing maps