activity
20192026
most citedCost Analysis of Nondeterministic Probabilistic Programs

3 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.PL2023★ 1 cited

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

Peixin Wang, Tengshun Yang, Hongfei Fu +2

In Bayesian probabilistic programming, a central problem is to estimate the normalised posterior distribution (NPD) of a probabilistic program with conditioning via score (a.k.a. o…