24 citations · 97 across the 26 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Scaling Exact Inference for Discrete Probabilistic Programs
Steven Holtzen, Guy Van den Broeck, Todd Millstein
Probabilistic programming languages (PPLs) are an expressive means of representing and reasoning about probabilistic models. The computational challenge of probabilistic inference…
cs.PL2019★ 2 cited
Symbolic Exact Inference for Discrete Probabilistic Programs
Steven Holtzen, Todd Millstein, Guy Van den Broeck
The computational burden of probabilistic inference remains a hurdle for applying probabilistic programming languages to practical problems of interest. In this work, we provide a…