probabilistically checkable proofs
English
Noun
probabilistically
checkable
proofs
plural of
probabilistically checkable proof