Login / Signup
Proving Quantum Programs Correct.
Kesha Hietala
Robert Rand
Shih-Han Hung
Liyi Li
Michael Hicks
Published in:
CoRR (2020)
Keyphrases
</>
quantum computation
computer programs
artificial intelligence
quantum computing
data sets
machine learning
computer vision
decision making
knowledge base
support vector
artificial neural networks
high speed
programming environment