Verifying Neural Networks with SMT: An Experimental Evaluation.
Dario GuidottiLaura PandolfoLuca PulinaPublished in: e-Science (2023)
Keyphrases
- experimental evaluation
- neural network
- artificial neural networks
- pattern recognition
- fuzzy logic
- feed forward
- neural network model
- rule extraction
- activation function
- neural nets
- genetic algorithm
- back propagation
- real time
- network architecture
- learning rules
- synthetic and real datasets
- statistical machine translation
- model checking
- image processing
- information systems
- multi layer
- fuzzy systems
- fuzzy neural network
- information retrieval