Venture: a higher-order probabilistic programming platform with programmable inference
Particle Markov chain Monte Carlo methods