Formal and Empirical Studies of Counting Behaviour in ReLU RNNs.
Nadine El-NaggarAndrew RyzhikovLaure DaviaudPranava MadhyasthaTillman WeydePublished in: ICGI (2023)
Keyphrases
- empirical studies
- recurrent neural networks
- empirical analysis
- feedforward neural networks
- fuzzy neural network
- real world data sets
- formal methods
- machine learning
- case study
- uci datasets
- formal model
- recurrent networks
- database
- formal representation
- control system
- artificial neural networks
- expert systems
- database systems
- data mining