Probabilistic Verification Beyond Context-Freeness. - Guanyan Li; Andrzej S. Murawski; Luke Ong (LICS, 2022)

ProbTA: A sound and complete proof rule for probabilistic verification. - Guanyan Li; Zhilei Han; Fei He 001 (CoRR, 2022)

PTSV: Probabilistic Tree-Stack Verifier. - Guanyan Li; Andrzej S. Murawski; Luke Ong (Zenodo, 2023)

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming. - Peixin Wang; Hongfei Fu 001; Tengshun Yang; Guanyan Li; Luke Ong (CoRR, 2023)

PTSV: Probabilistic Tree-Stack Verifier. - Guanyan Li; Andrzej S. Murawski; Luke Ong (Zenodo, 2023)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. - Peixin Wang; Tengshun Yang; Hongfei Fu 001; Guanyan Li; C.-H. Luke Ong (Proc. ACM Program. Lang., 2024)