Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency
It is proved anytime-valid soundness against adaptive provers: the probability of ever accepting a false claim is at most a chosen error level, provided the task supplies bounds on false passes and human checking errors that remain valid after every relevant history.
Bao-Tong Zhang, D. Foster, João Sedoc
· 0 citations