Neural Network Verification Accelerated by a Novel Abstract Framework.

Jiaqi Liu Meng Wang

Published in: ICIC (3) (2024)

Keyphrases

neural network
artificial neural networks
real world
decision trees
main contribution
self organizing maps
data mining
genetic algorithm
decision making
training data
pattern recognition
expert systems
probabilistic model
prediction model
neural network is trained