NeuroCodeBench: a plain C neural network benchmark for software verification.
Edoardo ManinoRafael Sá MenezesFedor ShmarovLucas C. CordeiroPublished in: CoRR (2023)
Keyphrases
- neural network
- artificial neural networks
- bp neural network
- neural network model
- back propagation
- real world
- self organizing maps
- fault diagnosis
- learning vector quantization
- multi layer
- pattern recognition
- real time
- associative memory
- network model
- feed forward neural networks
- machine learning
- hybrid intelligent
- comparative analysis
- fuzzy neural network
- learning rules
- auto associative
- fuzzy artmap
- neural network is trained
- hybrid neural network
- radial basis function
- fuzzy logic
- database systems
- case study
- website
- knowledge base
- decision making
- learning algorithm
- genetic algorithm
- information retrieval
- data mining
- databases
- data sets