Search Results for author: Matthijs Vákár

Found 2 papers, 1 papers with code

Conditional independence by typing

1 code implementation22 Oct 2020 Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár

The resulting program can be seen as a hybrid inference algorithm on the original program, where continuous parameters can be drawn using efficient gradient-based inference methods, while the discrete parameters are inferred using variable elimination.

Probabilistic Programming

Transforming Probabilistic Programs for Model Checking

no code implementations21 Aug 2020 Ryan Bernstein, Matthijs Vákár, Jeannette Wing

Probabilistic programming is perfectly suited to reliable and transparent data science, as it allows the user to specify their models in a high-level language without worrying about the complexities of how to fit the models.

Probabilistic Programming

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