Find the word definition

Wiktionary
probabilistically checkable proofs

n. (plural of probabilistically checkable proof English)