Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency

Baotong Zhang, Dean Foster, João Sedoc

When an LLM supplies an argument a user could not produce, how can the user decide whether to accept its claim? Inspired by interactive proofs, we pair a computationally unbounded…