信任但验证：用于选择性 LLM 预测的证明者 - 验证者 deliberation

本文提出证明者 - 验证者 deliberation（PVD），一种基于交互证明理论的推理时协议，旨在实现选择性预测。该协议中，证明者通过可检查的子主张为候选答案辩护，验证者则发起针对性挑战并给出接受、挑战或拒绝的裁决。实验表明，PVD 能有效区分高置信度与不可靠答案，在 GPQA Diamond 上显著提升了高精度子集的覆盖率与精确度。相比自一致性或多智能体辩论，该方法提供了独特的论证可防御性信号，但在验证者能力不足时存在失效风险。