PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.
Lily WengPin-Yu ChenLam M. NguyenMark S. SquillanteAkhilan BoopathyIvan V. OseledetsLuca DanielPublished in: ICML (2019)
Keyphrases
- neural network
- fuzzy logic
- probabilistic model
- artificial neural networks
- generative model
- high robustness
- computational efficiency
- pattern recognition
- databases
- fuzzy neural network
- fuzzy systems
- context sensitive
- recurrent neural networks
- neural network model
- information theoretic
- data driven
- multiscale
- image processing
- graphical models
- self organizing maps
- model checking
- video sequences
- bayesian networks
- social networks
- genetic algorithm
- real world
- probabilistic logic
- real time