paper-with-me

Papers

Multi-Model Probabilistic Programming

2022-08-12 · Ryan Bernstein

Probabilistic programming makes it easy to represent a probabilistic model as a program. Building an individual model, however, is only one step of probabilistic modeling. The broader challenge of probabilistic modeling is in understanding and navigating spaces of alternative models. There is currently no good way to represent these spaces of alternative models, despite their central role. We present an extension of probabilistic programming that lets each program represent a network of interrelated probabilistic models. We give a formal semantics for these multi-model probabilistic programs, a collection of efficient algorithms for network-of-model operations, and an example implementation built on top of the popular probabilistic programming language Stan. This network-of-models representation opens many doors, including search and automation in model-space, tracking and communication of model development, and explicit modeler degrees of freedom to mitigate issues like p-hacking. We demonstrate automatic model search and model development tracking using our Stan implementation, and we propose many more possible applications.

📄 PDF Abstract BibTeX arXiv:2208.06329

Code (0)

등록된 구현이 없습니다.

Tasks

modelProbabilistic Programming

Similar Papers 제목 키워드 기반

Automated learning with a probabilistic programming language: Birch

2018-10-02 · Lawrence M. Murray, Thomas B. Schön

This work offers a broad perspective on probabilistic modeling and inference in light of recent advances in probabilistic programming, in which models are formally expressed in Turing-complete programming languages. We c…

FormMultiple Object TrackingObject TrackingProbabilistic Programming

MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming

2019-10-17 · pproximateinference AABI Symposium 2019 12 · Yura Perov, Logan Graham, Kostis Gourgoulias, Jonathan G. Richens 외

We elaborate on using importance sampling for causal reasoning, in particular for counterfactual inference. We show how this can be implemented natively in probabilistic programming. By considering the structure of the c…

counterfactualCounterfactual InferenceProbabilistic Programming

Deployable probabilistic programming

2019-06-20 · David Tolpin

We propose design guidelines for a probabilistic programming facility suitable for deployment as a part of a production software system. As a reference implementation, we introduce Infergo, a probabilistic programming fa…

Decision MakingProbabilistic Programming

diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming

2021-01-03 · Matthias Nickles

This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying Bo…

A Compilation Target for Probabilistic Programming Languages

2014-03-03 · Brooks Paige, Frank Wood

Forward inference techniques such as sequential Monte Carlo and particle Markov chain Monte Carlo for probabilistic programming can be implemented in any programming language by creative use of standardized operating sys…

Probabilistic Programming