2 papers
cs.FL2025
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…
cs.PL2024
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…