C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Simpler Proofs of Quantumness.
Zvika Brakerski
Venkata Koppula
Umesh V. Vazirani
Thomas Vidick
Published in:
CoRR (2020)
Keyphrases
</>
theorem proving
data sets
multimedia
theorem prover
formal proofs
artificial neural networks
formal proof
artificial intelligence
data model
scheduling problem
equational theories