Login / Signup
Improved Soundness for QMA with Multiple Provers.
Alessandro Chiesa
Michael A. Forbes
Published in:
Electron. Colloquium Comput. Complex. (2011)
Keyphrases
</>
database
lower bound
real world
computer vision
reinforcement learning
search algorithm
theorem proving