activity
20232026
most citedStatic Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.PL2024

Piecewise Analysis of Probabilistic Programs via -Induction

Tengshun Yang, Shenghua Feng, Hongfei Fu +3

In probabilistic program analysis, quantitative analysis aims at deriving tight numerical bounds for probabilistic properties such as expectation and assertion probability. Most pr…