Classical Verification of Quantum Proofs.

Published in: Theory Comput. (2019)

Keyphrases

quantum computation
formal proof
quantum mechanics
model checking
theorem proving
quantum probability
formal proofs
quantum inspired
face verification
real time
website
formal analysis
quantum computing
inference rules
image sequences
case study
data sets