Venture: a higher-order probabilistic programming platform with programmable inference

Vikash Mansinghka, Daniel Selsam, Yura Perov

We describe Venture, an interactive virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient for general-purpose use. Like C…