FIELD NOTES TOPIC
interactive pcp
1 note, newest first.
How to Verify Consistency of Probabilistic Claims
Researchers propose an interactive protocol that allows a polynomial-time verifier to check the approximate consistency of a probabilistic predictor's answers in polynomial time. The protocol is relevant for AI safety…
