Guanyan Li

According to our database, Guanyan Li authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.

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

CoRR, 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