Verified compilation of Quantum oracles.

Liyi Li Finn Voichick Kesha Hietala Yuxiang Peng Xiaodi Wu Michael Hicks

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

quantum computation
databases
test cases
quantum mechanics
quantum computing
active learning
quantum inspired
real world
artificial intelligence
mobile robot