Guanyan Li

According to our database, Guanyan Li authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Structural Abstraction and Refinement for Probabilistic Programs.

Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He

Proc. ACM Program. Lang., 2025

2024

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.

Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong

Proc. ACM Program. Lang., 2024

2023

PTSV: Probabilistic Tree-Stack Verifier.

Guanyan Li, Andrzej S. Murawski, Luke Ong

Dataset, October, 2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.

Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong

CoRR, 2023

PTSV: Probabilistic Tree-Stack Verifier.

Guanyan Li, Andrzej S. Murawski, Luke Ong

Dataset, 2023

2022

ProbTA: A sound and complete proof rule for probabilistic verification.

Guanyan Li, Zhilei Han, Fei He

CoRR, 2022

Probabilistic Verification Beyond Context-Freeness.

Guanyan Li, Andrzej S. Murawski, Luke Ong

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022