[PLDI24] Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

ACM SIGPLAN - [PLDI24] Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving