1 citations · 1 across the 1 of their papers we have counts for
2 papers
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
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…