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:
TQC (2020)
Keyphrases
</>
theorem proving
theorem prover
neural network
equational theories
formal proof
formal proofs
data sets
databases
machine learning
information retrieval
feature extraction
evolutionary algorithm
control system
decision procedures