Guanyan Li | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Fei He
18 publications
Hongfei Fu
14 publications
Luke Ong
11 publications
Peixin Wang
4 publications
Zhilei Han
2 publications
Tengshun Yang
1 publication

research

∙ 07/24/2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming

In Bayesian probabilistic programming, a central problem is to estimate ...

0 Peixin Wang, et al. ∙

research

∙ 03/08/2022

ProbTA: A sound and complete proof rule for probabilistic verification

We propose a sound and complete proof rule ProbTA for quantitative analy...

0 Guanyan Li, et al. ∙

Success!

An error occurred