Sign in

A Case for Synthesis of Recursive Quantum Unitary Programs.

Haowei DengRunzhou TaoYuxiang PengXiaodi 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