Quantum Merlin-Arthur and proofs without relative phase.

Roozbeh Bassirian Bill Fefferman Kunal Marwaha

Published in: CoRR (2023)

Keyphrases

theorem proving
real world
learning phase
real time
image processing
theorem prover
quantum computing
mathematical proofs
feature selection
mobile robot
training phase
phase information
quantum inspired
formal proof
mathematical knowledge
quantum computation