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