Large language models (LLMs) remain unreliable for high-stakes claim verification due to hallucinations and shallow reasoning. While retrieval-augmented generation (RAG) and multi-agent debate (MAD) address this, they are limited by one-pass retrieval and unstructured debate dynamics. We propose a courtroom-style multi-agent framework, PROClaim, that reformulates verification as a structured, adversarial deliberation. Our approach integrates specialized roles (e.g., Plaintiff, Defense, Judge) with Progressive RAG (P-RAG) to dynamically expand and refine the evidence pool during the debate. Furthermore, we employ evidence negotiation, self-reflection, and heterogeneous multi-judge aggregation to enforce calibration, robustness, and diversity. In zero-shot evaluations on the Check-COVID benchmark, PROClaim achieves 81.7% accuracy, outperforming standard multi-agent debate by 10.0 percentage points, with P-RAG driving the primary performance gains (+7.5 pp). We ultimately demonstrate that structural deliberation and model heterogeneity effectively mitigate systematic biases, providing a robust foundation for reliable claim verification. Our code and data are publicly available at https://github.com/mnc13/PROClaim.
Figures & tables
Figure 1: Overview of the courtroom-style claim-verification pipeline in PROClaim .
Criterion
Threshold
Rationale
Novelty filter
<0.20
Rejects near-duplicates
Redundancy ratio
>70%
Indicates saturation
Relevance gain
<0.05
Diminishing returns
Iteration cap
10
Limits compute cost
Table 1: P-RAG stopping criteria.
Table 2: Role-wise models. Providers (Prov.): OR =OpenRouter, OA =OpenAI. T.=Temperature.
Run
Acc
m-F1
κˉ
Agr.
Unan.
Split
Run-0
0.950
0.950
0.429
0.617
0.442
0.558
Run-1
0.817
0.817
0.549
0.700
0.558
0.442
Run-2
0.790
0.790
0.474
0.652
0.496
0.504
W. Total
0.841
0.841
0.484
0.656
0.499
0.501
Maj. Vote
0.817
0.817
0.468
0.648
0.489
0.511
Oracle
0.958
0.958
0.438
0.622
0.450
0.550
Table 3: Performance statistics. m-F1 : MacroF1. κˉ : Mean κ . Agr. : Raw Agreement. Unan. : Unanimity (3–0 consensus). Split : Divided vote. W. Total : Weighted Total. Oracle : Best-of-3. Per-judge κGT in App. E.1 .
Figure 2: Termination distribution and convergence speed across 360 debate instances.
Figure 3: P-RAG evidence novelty across debate rounds.
Figure 4: Reflection score trajectories across plateau, judicial, and critic resolution patterns.
System
Acc
MacroF1
Ev
Single-call DeepSeek-v3.2 + RAG
0.8000
0.7972
18.5
Standard MAD
0.7167
0.7068
12.1
PROClaim (Majority Vote)
0.8167
0.8165
67.5
Table 4: PROClaim vs. baselines on Check-COVID. Ev denotes average evidence pool size per claim.
Component
Full
A1
A2
A3
A4
Evidence Negotiation
✓
✓
✓
✓
✓
P-RAG
✓
✓
✓
×
✓
Expert Witnesses
✓
✓
✓
✓
✓
Self-Reflection
✓
✓
✓
✓
×
Reflection → P-RAG
✓
✓
✓
×
×
Critic Agent
✓
✓
✓
✓
✓
Table 5: Component ablation matrix. ✓ = active; × = disabled. Note: A1: no role-switch; A2: 1-judge; A3: no P-RAG; A4: no self-reflection.
System
Acc
MacroF1
Δ Acc
κˉ
Avg. Rounds
Ev
Tok (K)
PROClaim (Ours)
0.8167
0.8165
—
0.468
5.47
67.5
210.9
w/o P-RAG
0.7417
0.7408
− 7.5 pp
0.599
6.00
37.5
188.9
w/o Role-Switching
0.7750
0.7750
− 4.2 pp
0.513
2.88
54.0
147.3
w/o Three-Judge Panel
0.7833
0.7818
− 3.3 pp
–
5.29
68.8
195.9
w/o Self-Reflection
0.8083
0.8080
− 0.8 pp
0.591
7.06
81.5
247.3
Standard MAD
0.7167
0.7068
− 10.0 pp
–
2.00
12.1
18.9
Table 6: Ablation results on 120 claims. Δ Acc is measured relative to the full PROClaim pipeline. Ev denotes the average evidence pool size per claim. Each round count reflects the sum of primary and role-switched debate rounds per claim.
Dataset
Claim
Acc
F1
Tok(K)
HealthVer
100
0.720
0.713
223
FEVEROUS
60
0.783
0.772
236
Check-COVID
120
0.817
0.817
211
Table 7: Generalization results (single run)
System
Acc
Δ (pp)
Odds Ratio
Single-call DeepSeek-v3.2 + RAG
63.0%
+9.0
2.50
Standard MAD
56.0%
+16.0
3.67 ‡
PROClaim
72.0%
—
—
Table 8: Paired comparison on the identical 100-claim HealthVer subset. Δ is PROClaim ’s accuracy advantage; the odds ratio OR=b/c counts claims PROClaim resolves correctly where the baseline fails ( b ) against the converse ( c ), so OR>1 means PROClaim wins the contested cases. ‡ Statistically significant (McNemar’s χ2=8.04 , p=0.0046 ). Protocol details in Appendix E.2.2 .
Appendix figures & tables11 assets
Supplementary material from the paper’s appendix.
Appendix
Role
Model
Selection rationale
Plaintiff Counsel
GPT-5-mini
Strong instruction-following under advocacy constraints
Defense Counsel
DeepSeek-V3.2
Distinct pretraining lineage from Plaintiff
The Court
Qwen3-235B
Reliable query refinement and procedural control
Judge 1
DeepSeek-R1
Analytical rigor (deep CoT tracing)
Judge 2
Hermes-3-405B
Distinct reasoning style; diversity of adjudication
Judge 3
Qwen3-235B
Balanced abstention behaviour
Appendix
Table 9: Functional rationale for the heterogeneous role–model assignment. Counsels operate at T=0.5 for argumentative diversity; judges at T=0.3 for deterministic adjudication (validated in Section 5.5 ).
Hyperparameter
Value
Max debate rounds
10
Initial retrieval top- k
5
Per-round retrieval top- k
3
Novelty threshold
0.20
Admissibility floor
> 0.5 admitted, > 0.1 disputed
Redundancy similarity threshold
0.85
Appendix
Table 10: Debate and retrieval hyperparameters.
Mapping Policy
Accuracy
Macro F1
Inconclusive → Supported (ours)
81.7%
0.817
Inconclusive → Refuted
80.8%
0.808
Inconclusive excluded
83.8%
0.838
Appendix
Table 11: Verdict-mapping sensitivity on Check-COVID (120 majority-voted claims).
Variant
N
Accuracy
ECE
Wconsensus=0.6
118
95.76%
0.1802
Wconsensus=0.8 (Final)
118
95.76%
0.0340
Appendix
Table 12: Impact of Consensus Weighting on Calibration Error.
Confidence Bin
N
Observed Acc.
Mean Conf.
[0.6,0.7)
4
75.00%
0.6685
[0.7,0.8)
4
100.00%
0.7365
[0.8,0.9)
20
95.00%
0.8639
[0.9,1.0]
90
96.67%
0.9768
Appendix
Table 13: Bucket Analysis for Wconsensus=0.8 .
Run
κGT (J1)
κGT (J2)
κGT (J3)
Mean κGT
DeepSeek-R1
Hermes-3-405B
Qwen3-235B
Run-0
0.442
0.413
0.414
0.423
Run-1
0.402
0.367
0.347
0.372
Run-2
0.452
0.353
0.348
0.384
Majority Voting
0.452
0.431
0.468
0.450
Appendix
Table 14: Per-judge ground-truth agreement ( κGT ) across runs and aggregation modes. Mean κGT is the unweighted average across the three judges.
Agent
Logic
Novelty
Rebuttal
Total
Discovery Need (summary)
Plaintiff
0.78
0.45
0.62
0.633
Controlled studies comparing myocarditis rates in COVID-19 vs. non-COVID respiratory illness
Defense
0.70
0.50
0.40
0.550
Studies demonstrating SARS-CoV-2 viral presence in cardiomyocytes
Appendix
Table 15: Self-Reflection Scores after Phase 1.
Agent
Logic
Novelty
Rebuttal
Total
Plaintiff
0.85
0.60
0.70
0.730
Defense
0.70
0.30
0.60
0.550
Appendix
Table 20
Table 16: Judicial panel evaluation for the example debate.
System
Avg Tokens/Claim (K)
120 Claims (M)
1K Claims (M)
10K Claims (B)
Acc.
Standard MAD
18.9
2.3
18.9
0.19
71.7%
PROClaim w/o Self-Refl.
247.3
29.7
247.3
2.47
80.8%
PROClaim w/o Role-Switch
147.3
17.7
147.3
1.47
77.5%
PROClaim w/o P-RAG
188.9
22.7
188.9
1.89
74.2%
PROClaim (Full)
210.9
25.3
210.9
2.11
81.7%
Appendix
Table 17: Token usage per claim across system configurations and projected totals at scale. Projections assume linear scaling with no batching discount.
Figure 5: Cost–accuracy Pareto front across system configurations. PROClaim (Full) lies on the efficient frontier; the dashed line traces Pareto-optimal points. w/o P-RAG is strictly dominated: it saves fewer tokens than w/o Role-Switch while incurring a larger accuracy penalty.
University of New Brunswick Fredericton, New Brunswick, Canada · FPT Software Quy Nhon, Vietnam · University of Science, VNU-HCM Ho Chi Minh City, Vietnam