Quantum Hedging in Two-Round Prover-Verifier Interactions.

Srinivasan Arunachalam Abel Molina Vincent Russo

Published in: TQC (2017)

Keyphrases

theorem proving
quantum computing
theorem prover
quantum computation
artificial intelligence
decision making
real time
machine learning
knowledge base
image sequences
transaction costs
human interactions
probability ranking principle
convertible bonds