Dongho Lee | DeepAI

DeepAI

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

Featured Co-authors

Sébastien Bardin
18 publications
Benoît Valiron
14 publications
Renaud Vilmart
9 publications
Zhaowei Xu
4 publications
Christophe Chareton
2 publications
Valentin Perrelle
2 publications

research

∙ 10/06/2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

In this paper, we introduce dynamic lifting to a quantum circuit-descrip...

0 Dongho Lee, et al. ∙

research

∙ 09/14/2021

Formal Methods for Quantum Programs: A Survey

While recent progress in quantum hardware open the door for significant ...

0 Christophe Chareton, et al. ∙