Xupeng Li | DeepAI

DeepAI

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

Featured Co-authors

Frederic T. Chong
28 publications
Runzhou Tao
14 publications
Ali Javadi Abhari
9 publications
Jianan Yao
6 publications
Ronghui Gu
6 publications
Yunong Shi
4 publications
Andrew W. Cross
3 publications

research

∙ 05/02/2022

Giallar: Push-Button Verification for the Qiskit Quantum Compiler

This paper presents Giallar, a fully-automated verification toolkit for ...

0 Runzhou Tao, et al. ∙

research

∙ 08/23/2019

Contract-based verification of a realistic quantum compiler

In this paper, we present CertiQ, a mostly-automated verification framew...

0 Yunong Shi, et al. ∙