Search Results for author: Martin C. Rinard

Found 2 papers, 1 papers with code

SPPL: Probabilistic Programming with Fast Exact Symbolic Inference

1 code implementation7 Oct 2020 Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka

We present the Sum-Product Probabilistic Language (SPPL), a new probabilistic programming language that automatically delivers exact solutions to a broad range of probabilistic inference queries.

Fairness Probabilistic Programming +1

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

no code implementations14 Jul 2019 Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka

These techniques work with probabilistic domain-specific data modeling languages that capture key properties of a broad class of data generating processes, using Bayesian inference to synthesize probabilistic programs in these modeling languages given observed data.

Probabilistic Programming Time Series +1

Cannot find the paper you are looking for? You can Submit a new open access paper.