SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis.

Yicheng Luo Antonio Filieri Yuan Zhou

Published in: CoRR (2020)

Keyphrases

importance sampling
monte carlo
kalman filter
markov chain
particle filter
bayesian networks
particle filtering
generative model
rare events
probabilistic model
approximate inference
search algorithm
state space
markov chain monte carlo