Login / Signup
A Case for Synthesis of Recursive Quantum Unitary Programs.
Haowei Deng
Runzhou Tao
Yuxiang Peng
Xiaodi Wu
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
program synthesis
functional programs
recursive programs
quantum computation
data sets
neural network
automatic programming
databases
support vector
logic programs
quantum computing