Verification of Neural Networks' Global Robustness.
Anan KabahaDana Drachsler-CohenPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- back propagation
- neural network model
- genetic algorithm
- data sets
- neural nets
- neural network is trained
- multidatabase systems
- formal methods
- fuzzy systems
- feed forward
- fault diagnosis
- fuzzy logic
- information retrieval
- model checking
- computational efficiency
- digital images
- evolutionary algorithm
- multi layer
- knowledge base
- learning algorithm
- signature verification
- formal verification
- real time