Quantum Merlin-Arthur and Proofs Without Relative Phase.

Roozbeh Bassirian Bill Fefferman Kunal Marwaha

Published in: ITCS (2024)

Keyphrases

quantum computation
theorem proving
formal proofs
quantum computing
data sets
formal proof
case study
high speed
channel capacity
quantum mechanics
theorem prover
expert systems
preprocessing
e learning
information systems
search engine
machine learning
neural network