Login / Signup
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