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

1 April 2014

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

49 / 99 papers shown

Title
An Introduction to Probabilistic Programming Jan-Willem van de Meent Brooks Paige Hongseok Yang Frank Wood GP 88 200 0 27 Sep 2018
Tensor Monte Carlo: particle methods for the GPU era Laurence Aitchison BDL DRL 85 13 0 22 Jun 2018
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms Yi Wu Siddharth Srivastava N. Hay S. Du Stuart J. Russell 68 25 0 06 Jun 2018
Reparameterization Gradient for Non-differentiable Models Wonyeol Lee Hangyeol Yu Hongseok Yang DRL 125 32 0 01 Jun 2018
Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities Bradley Gram-Hansen Yuanshuo Zhou Tobias Kohn Tom Rainforth Hongseok Yang Frank Wood 31 3 0 07 Apr 2018
Nesting Probabilistic Programs Tom Rainforth TPM 70 24 0 16 Mar 2018
Using probabilistic programs as proposals Marco F. Cusumano-Towner Vikash K. Mansinghka BDL 80 12 0 11 Jan 2018
Building machines that adapt and compute like brains Brenden M. Lake J. Tenenbaum AI4CE FedML NAI AILaw 331 887 0 11 Nov 2017
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs Lawrence M. Murray Daniel Lundén J. Kudlicka David Broman Thomas B. Schon 66 60 0 25 Aug 2017
Bayesian Optimization for Probabilistic Programs Tom Rainforth T. Le Jan-Willem van de Meent Michael A. Osborne Frank Wood TPM 72 27 0 13 Jul 2017
Proximity Variational Inference Jaan Altosaar Rajesh Ranganath David M. Blei BDL 43 22 0 24 May 2017
RankPL: A Qualitative Probabilistic Programming Language Tjitze Rienstra LRM 18 2 0 19 May 2017
Probabilistic programs for inferring the goals of autonomous agents Marco F. Cusumano-Towner Alexey Radul David Wingate Vikash K. Mansinghka 153 15 0 17 Apr 2017
Signal-based Bayesian Seismic Monitoring David A. Moore Stuart J. Russell 49 6 0 02 Mar 2017
Deep Probabilistic Programming Dustin Tran Matthew D. Hoffman Rif A. Saurous E. Brevdo Kevin Patrick Murphy David M. Blei BDL 142 193 0 13 Jan 2017
A Convenient Category for Higher-Order Probability Theory C. Heunen Ohad Kammar S. Staton Hongseok Yang 101 161 0 10 Jan 2017
Encapsulating models and approximate inference programs in probabilistic modules Marco F. Cusumano-Towner Vikash K. Mansinghka TPM 19 2 0 14 Dec 2016
On the Pitfalls of Nested Monte Carlo Tom Rainforth R. Cornish Hongseok Yang Frank Wood 67 9 0 03 Dec 2016
Time Series Structure Discovery via Probabilistic Program Synthesis Ulrich Schaechtle Feras A. Saad Alexey Radul Vikash K. Mansinghka AI4TS 74 10 0 21 Nov 2016
Inference Compilation and Universal Probabilistic Programming T. Le A. G. Baydin Frank Wood UQCV 219 143 0 31 Oct 2016
Edward: A library for probabilistic modeling, inference, and criticism Dustin Tran A. Kucukelbir Adji Bousso Dieng Maja R. Rudolph Dawen Liang David M. Blei 113 300 0 31 Oct 2016
Deep Amortized Inference for Probabilistic Programs Daniel E. Ritchie Paul Horsfall Noah D. Goodman TPM 111 82 0 18 Oct 2016
Spreadsheet Probabilistic Programming Mike Wu Yura N. Perov Frank Wood Hongseok Yang 49 3 0 14 Jun 2016
Robust Probabilistic Modeling with Bayesian Data Reweighting Yixin Wang A. Kucukelbir David M. Blei OOD NoLa 46 12 0 13 Jun 2016
Post-Inference Prior Swapping Willie Neiswanger Eric Xing 19 1 0 02 Jun 2016
Applications of Probabilistic Programming (Master's thesis, 2015) Yura N. Perov 55 4 0 31 May 2016
Hierarchical Question-Image Co-Attention for Visual Question Answering Marco F. Cusumano-Towner Jianwei Yang Vikash K. Mansinghka Devi Parikh 36 1,614 0 31 May 2016
Automatic Differentiation Variational Inference A. Kucukelbir Dustin Tran Rajesh Ranganath Andrew Gelman David M. Blei 133 719 0 02 Mar 2016
Bachelor's thesis on generative probabilistic programming (in Russian language, June 2014) Yura N. Perov BDL 23 0 0 26 Jan 2016
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints S. Staton Hongseok Yang C. Heunen Ohad Kammar Frank Wood 92 136 0 19 Jan 2016
Probabilistic Programming with Gaussian Process Memoization Ulrich Schaechtle Ben Zinberg Alexey Radul Kostas Stathis Vikash K. Mansinghka GP 47 11 0 17 Dec 2015
BayesDB: A probabilistic programming system for querying the probable implications of data Vikash K. Mansinghka R. Tibbetts Jay Baxter Pat Shafto Baxter S. Eaves 69 38 0 15 Dec 2015
CrossCat: A Fully Bayesian Nonparametric Method for Analyzing Heterogeneous, High Dimensional Data Vikash K. Mansinghka Patrick Shafto Eric Jonas Cap Petschulat Max Gasner J. Tenenbaum 46 40 0 03 Dec 2015
Getting Started with Particle Metropolis-Hastings for Inference in Nonlinear Dynamical Models J. Dahlin Thomas B. Schon 97 25 0 05 Nov 2015
C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching Daniel E. Ritchie Andreas Stuhlmuller Noah D. Goodman 82 30 0 07 Sep 2015
Black-Box Policy Search with Probabilistic Programs Jan-Willem van de Meent Brooks Paige David Tolpin Frank Wood 117 24 0 16 Jul 2015
Automatic Variational Inference in Stan A. Kucukelbir Rajesh Ranganath Andrew Gelman David M. Blei BDL 99 233 0 10 Jun 2015
Automatic Inference for Inverting Software Simulators via Probabilistic Programming A. Saeedi Vlad Firoiu Vikash K. Mansinghka TPM 27 2 0 31 May 2015
Path Finding under Uncertainty through Probabilistic Inference David Tolpin Brooks Paige Jan-Willem van de Meent Frank Wood TPM 70 0 0 25 Feb 2015
Particle Gibbs with Ancestor Sampling for Probabilistic Programs Jan-Willem van de Meent Hongseok Yang Vikash K. Mansinghka Frank Wood 80 33 0 27 Jan 2015
Output-Sensitive Adaptive Metropolis-Hastings for Probabilistic Programs David Tolpin Jan-Willem van de Meent Brooks Paige Frank Wood 66 1 0 22 Jan 2015
Slice Sampling for Probabilistic Programming R. Ranca Zoubin Ghahramani TPM 30 2 0 20 Jan 2015
Value Iteration with Options and State Aggregation K. Ciosek David Silver 52 11 0 16 Jan 2015
Biips: Software for Bayesian Inference with Interacting Particle Systems A. Todeschini François Caron Marc Fuentes P. Legrand P. Del Moral 77 26 0 11 Dec 2014
Declarative Statistical Modeling with Datalog V. Bárány B. T. Cate B. Kimelfeld Dan Olteanu Zografoula Vagena 36 8 0 06 Dec 2014
Sublinear-Time Approximate MCMC Transitions for Probabilistic Programs Yutian Chen Vikash K. Mansinghka Zoubin Ghahramani 60 5 0 06 Nov 2014
Learning Probabilistic Programs Yura N. Perov Frank Wood TPM 73 15 0 09 Jul 2014
Inverse Graphics with Probabilistic CAD Models Tejas D. Kulkarni Vikash K. Mansinghka Pushmeet Kohli J. Tenenbaum 3DV 99 19 0 04 Jul 2014
A Compilation Target for Probabilistic Programming Languages Brooks Paige Frank Wood 121 80 0 03 Mar 2014