Two Query Probabilistic Checking of Proofs with Subconstant Error

GPTKB entity