Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover Interactive Proofs into Unentanglement.

Sevag Gharibian Dorian Rudolph

Published in: ITCS (2023)

Keyphrases

low dimensional
database
data sets
neural network
information systems
bayesian networks
space time
theorem prover
higher dimensional