Verification of Neural Networks' Global Robustness.
Anan KabahaDana Drachsler-CohenPublished in: CoRR (2024)
Keyphrases
- neural network
- formal verification
- genetic algorithm
- global information
- pattern recognition
- artificial neural networks
- model checking
- feed forward
- high robustness
- activation function
- fuzzy systems
- fuzzy logic
- neural network is trained
- rule extraction
- training process
- neural network model
- database
- support vector
- reinforcement learning
- social networks
- real world
- databases
- data sets