Wiktionary
probabilistically checkable proofs
n. (plural of probabilistically checkable proof English)