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

Vikash K. Mansinghka, Daniel Selsam, Yura Perov

Type: Preprint

Publication Date: 2014-01-01

Citations: 186

DOI: https://doi.org/10.48550/arxiv.1404.0099

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	A New Approach to Probabilistic Programming Inference	2015	Frank Wood Jan Willem van de Meent Vikash K. Mansinghka
+	A New Approach to Probabilistic Programming Inference	2015	Frank Wood Jan Willem van de Meent Vikash K. Mansinghka
+	A New Approach to Probabilistic Programming Inference	2014	Frank Wood Jan-Willem van de Meent Vikash K. Mansinghka
+	Automatic inference for higher-order probabilistic programs	2016	Timothy Brooks Paige
+	An Introduction to Probabilistic Programming	2018	Jan-Willem van de Meent Brooks Paige Hongseok Yang Frank Wood
+	Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages	2023	Daniel Lundén Lars Hummelgren Jan Kudlicka Oscar Eriksson David Broman
+ PDF Chat	Functional programming for modular Bayesian inference	2018	Adam Ścibior Ohad Kammar Zoubin Ghahramani
+	Stochastic Probabilistic Programs	2020	David Tolpin Tomer Dobkin
+	Sound Probabilistic Inference via Guide Types	2021	Di Wang Jan Hoffmann Thomas Reps
+	Church: a language for generative models	2012	Noah D. Goodman Vikash K. Mansinghka Daniel M. Roy Keith Bonawitz Joshua B. Tenenbaum
+ PDF Chat	Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages	2021	Daniel Lundén Johannes Borgström David Broman
+	Improvements to Inference Compilation for Probabilistic Programming in Large-Scale Scientific Simulators	2017	Mario Lezcano Casado Atılım Güneş Baydin David Martínez-Rubio Tuan Anh Lê Frank Wood L. Heinrich Gilles Louppe K. Cranmer Karen Ng W. Bhimji
+	Slice Sampling for Probabilistic Programming	2015	Razvan Ranca Zoubin Ghahramani
+	Monolingual Probabilistic Programming Using Generalized Coroutines	2012	Oleg Kiselyov Chung-chieh Shan
+	Functional Tensors for Probabilistic Programming	2019	Fritz Obermeyer Eli Bingham Martin Jankowiak Du Phan Jonathan P. Chen
+ PDF Chat	Turing.jl: a general-purpose probabilistic programming language	2025	Tor Erlend Fjelde Kai Xu David Widmann Mohamed Tarek Cameron Pfiffer Martin Trapp Seth D. Axen X. Sun Markus Hauru Penelope Yong
+	Probabilistic Programming with CuPPL.	2020	Alexander J. Collins Vinod Grover
+	Probabilistic Programming with CuPPL	2020	Alexander J. Collins Vinod K. Grover
+ PDF Chat	Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages	2021	Daniel Lundén Johannes Borgström David Broman
+	Automatic Alignment in Higher-Order Probabilistic Programming Languages	2023	Daniel Lundén Gizem Çaylak Fredrik Ronquist David Broman

Works That Cite This (119)

Action	Title	Year	Authors
+ PDF Chat	Neuro-Symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels	2022	Alexander Lavin
+	On the Pitfalls of Nested Monte Carlo	2016	Tom Rainforth Robert Cornish Hongseok Yang Frank Wood
+	Verifying Handcoded Probabilistic Inference Procedures	2018	Eric Atkinson Cambridge Yang Michael Carbin
+ PDF Chat	Contextual equivalence for a probabilistic language with continuous random variables and recursion	2018	Mitchell Wand Ryan Culpepper Theophilos Giannakopoulos Andrew Cobb
+	Deep Amortized Inference for Probabilistic Programs	2016	Daniel Ritchie Paul Horsfall Noah D. Goodman
+	MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming	2019	Yura Perov Logan Graham Kostis Gourgoulias Jonathan G. Richens Ciarán M. Lee Adam Baker Saurabh Johri
+	Simple, Distributed, and Accelerated Probabilistic Programming	2018	Dustin Tran Matthew D. Hoffman Dave Moore Christopher Suter Vasudevan Srinivas Alexey Radul Matthew Johnson Rif A. Saurous
+	Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion	2018	Mitchell Wand Ryan Culpepper Theophilos Giannakopoulos Andrew Cobb
+	Deep Probabilistic Surrogate Networks for Universal Simulator Approximation	2020	Atılım Güneş Baydin
+	Time Series Structure Discovery via Probabilistic Program Synthesis	2016	Ulrich Schaechtle Feras A. Saad Alexey Radul Vikash K. Mansinghka

Works Cited by This (14)

Action	Title	Year	Authors
+ PDF Chat	Particle Markov Chain Monte Carlo Methods	2010	Christophe Andrieu Arnaud Doucet Roman Holenstein
+	None	2000	David J. Lunn Andrew C. Thomas Nicky Best David J. Spiegelhalter
+	Automated Variational Inference in Probabilistic Programming	2013	David Wingate Théophane Weber
+	On the role of interaction in sequential Monte Carlo algorithms	2015	Nick Whiteley Anthony Lee Kari Heine
+	Approximate Bayesian Computation (ABC) in practice	2010	Katalin Csilléry Michaël G. B. Blum Oscar E. Gaggiotti Olivier François
+	Replica Monte Carlo Simulation of Spin-Glasses	1986	Robert H. Swendsen Jian‐Sheng Wang
+ PDF Chat	Bayesian Variable Selection and the Swendsen-Wang Algorithm	2004	David J. Nott Peter J Green
+	Markov Chain Sampling Methods for Dirichlet Process Mixture Models	2000	Radford M. Neal
+ PDF Chat	Sequential Monte Carlo Samplers	2006	Pierre Del Moral Arnaud Doucet Ajay Jasra
+ PDF Chat	Approximate Bayesian computation scheme for parameter inference and model selection in dynamical systems	2008	Tina Toni David Welch Natalja Strelkowa Andreas Ipsen Michael P. H. Stumpf