Prover-estimator debate replaces the opponent's choice of subclaim with probability estimates, and the paper claims this avoids obfuscation, though the proof of the core indistinguishability lemma is flawed.
Debate update: Obfuscated arguments problem, 2020
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Avoiding Obfuscation with Prover-Estimator Debate
Prover-estimator debate replaces the opponent's choice of subclaim with probability estimates, and the paper claims this avoids obfuscation, though the proof of the core indistinguishability lemma is flawed.