Sign in

A Case for Synthesis of Recursive Quantum Unitary Programs

By Haowei Deng and others at
LogoUniversity of Maryland
Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and errors associated with low-level quantum details would hence be highly desirable. In this paper, we initiate the study of program synthesis for quantum unitary programs that... Show more
December 5, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
A Case for Synthesis of Recursive Quantum Unitary Programs
Click on play to start listening