We initiate the systematic study of QMA algorithms in setting property testing, to which we refer as proofs proximity (QMAPs). These are quantum query that receive explicit access a sublinear-size untrusted proof and ...