Sign in
Guanyan Li
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Bayes Nets
Conditional Probability Distributions
Logical Inference
Probabilistic Reasoning
Top Venues
CoRR
LICS
</>
Publications
</>
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)