An Exponential Separation Between MA and AM Proofs of Proximity.

Tom Gur Yang P. Liu Ron D. Rothblum

Published in: Electron. Colloquium Comput. Complex. (2018)

Keyphrases

theorem prover
theorem proving
exponential size
databases
formal proof
formal proofs
mathematical proofs
neural network
computer vision
image sequences