Abstract. We consider the following question: using a source of labeled data and interaction with an untrusted prover, what is the complexity of verifying … Login to Download