Verification of deep probabilistic models.
Krishnamurthy DvijothamMarta GarneloAlhussein FawziPushmeet KohliPublished in: CoRR (2018)
Keyphrases
- probabilistic model
- graphical models
- generative model
- model checking
- probabilistic modeling
- mixture model
- bayesian inference
- face verification
- language model
- formal verification
- latent variables
- conditional random fields
- deep belief networks
- databases
- expectation maximization
- bayesian networks
- topic models
- conditional probabilities
- formal methods
- higher order
- query expansion
- temporal logic
- information retrieval systems
- person identification
- asynchronous circuits
- neural network