Valentin Perrelle | 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
Zhaowei Xu
4 publications
François Bobot
3 publications
Christophe Chareton
2 publications
Dongho Lee
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

∙ 03/12/2020

A Deductive Verification Framework for Circuit-building Quantum Programs

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

0 Christophe Chareton, et al. ∙