Guanyan Li

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Exact Inference

Metropolis Hastings Algorithm

Markov Chain Monte Carlo Methods

Posterior Probability

Top Venues

Proc. ACM Program. Lang.

Publications

Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming. CoRR (2023)
Guanyan Li, Andrzej S. Murawski, Luke Ong
Probabilistic Verification Beyond Context-Freeness. LICS (2022)
Guanyan Li, Zhilei Han, Fei He
ProbTA: A sound and complete proof rule for probabilistic verification. CoRR (2022)