Classical Verification of Quantum Computations with Efficient Verifier.

Nai-Hui Chia Kai-Min Chung Takashi Yamakawa

Published in: TCC (3) (2020)

Keyphrases

quantum mechanics
bayesian networks
search algorithm
formal verification
quantum computation
real time
real world
artificial intelligence
e learning
case study
cost effective
computationally expensive