Verification of Neural Networks: Specifying Global Robustness using Generative Models.
Nathanaël FijalkowMohit Kumar GuptaPublished in: CoRR (2019)
Keyphrases
- generative model
- neural network
- probabilistic model
- discriminative learning
- mixture model
- discriminative models
- hierarchical hidden markov models
- em algorithm
- topic models
- conditional random fields
- semi supervised
- prior knowledge
- representational power
- generative and discriminative models
- object categories
- discriminative methods
- graphical models
- expectation maximization
- information extraction
- image processing
- computer vision
- machine learning