PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach.
Tsui-Wei WengPin-Yu ChenLam M. NguyenMark S. SquillanteIvan V. OseledetsLuca DanielPublished in: CoRR (2018)
Keyphrases
- neural network
- pattern recognition
- bayesian networks
- artificial neural networks
- genetic algorithm
- back propagation
- fuzzy logic
- high robustness
- probabilistic logic
- multilayer perceptron
- neural network model
- data driven
- probabilistic model
- training data
- search engine
- computer vision
- decision trees
- recurrent neural networks
- real time
- databases
- probabilistic reasoning
- network architecture
- fuzzy systems
- neural nets
- uncertain data
- context sensitive
- evolutionary algorithm
- support vector machine
- computational efficiency
- decision making
- generative model
- image processing
- graphical models