Login / Signup
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement.
Sevag Gharibian
Dorian Rudolph
Published in:
CoRR (2022)
Keyphrases
</>
search space
search engine
theorem proving
information systems
support vector
theorem prover
higher dimensional