1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2022
Multi-Model Probabilistic Programming
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 broa…
cs.AI2020★ 1 cited
Transforming Probabilistic Programs for Model Checking
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 abou…
cs.PL2019★ 1 cited
Static Analysis for Probabilistic Programs
Ryan Bernstein
Probabilistic programming is a powerful abstraction for statistical machine learning. Applying static analysis methods to probabilistic programs could serve to optimize the learnin…