Wenjun Shi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Krishnendu Chatterjee
70 publications
Yuan Feng
24 publications
Amir Kafshdar Goharshady
18 publications
Hongfei Fu
14 publications
Yuxin Deng
10 publications
Qinxiang Cao
5 publications
Peixin Wang
4 publications
Xudong Qin
1 publication
Hanru Jiang
1 publication

research

∙ 05/22/2020

Symbolic Reasoning about Quantum Circuits in Coq

A quantum circuit is a computational unit that transforms an input quant...

0 Wenjun Shi, et al. ∙

research

∙ 02/12/2019

Cost Analysis of Nondeterministic Probabilistic Programs

We consider the problem of expected cost analysis over nondeterministic ...

0 Krishnendu Chatterjee, et al. ∙