Retrieval-based factuality evaluation, where LLM-generated claims are verified against evidence from authoritative medical corpora, has become the dominant paradigm for scalable hallucination detection in high-stakes clinical settings. Despite the urgency of reliable and transparent medical fact verification, most systems measure performance with aggregate metrics like F1, which obscure where and why failures occur. Existing RAG diagnostics require gold answers or annotated gold evidence, neither of which exists in this regime. We introduce two comprehensive taxonomies, grounded in a case study on the open-ended MedExpert dataset and 3 closed-ended datasets, decomposing failures into retrieval-stage errors along five quality dimensions, and verifier-reasoning errors into six consecutive steps. We adapt an automatic pattern induction pipeline using LLM-as-Judge to label evidence quality and classify verifier reasoning errors at scale, and then stress-test our findings across 4 retrieval methods and 6 frontier verifier models. Our analysis reveals that scaling model size, adding reasoning effort, expanding to authoritative web sources, and applying medical fine-tuning do not resolve these failure modes, demonstrating that they represent fundamental limitations of the retrieve-then-verify paradigm in open-ended medical settings rather than artifacts of outdated systems. We release our code and data at https://anonymous.4open.science/r/Medical_RAG_eval-4AB5 for the full reproducibility of our results.
Figures & tables
Figure 1: Diagnosing error modes in a retrieve-then-verify pipeline. Top: the popular decompose-then-verify pipeline — decompose a response sentence into atomic facts, retrieve top-10 medical passages, ask an LLM verifier for a four-way label (Supported / Refuted / No Evidence / Ambiguous), and compare against a human verdict (True/False) made on the parent sentence (atomic facts inherit the sentence label by default). Bottom: our contribution is to induce, from these disagreements, a taxonomy of retrieval error modes (R1–R6, where the evidence itself is the bottleneck) and verification error modes (V1–V6, where the LLM reasons incorrectly over the evidence). Full error modes are in Table 8 and Section A.2 .
Dataset
#Supported
#Refuted
#NE
#Ambiguous
MedExpert
9,950
224
-
-
MedExpert-gold
139
86
-
-
SciFact-Open
100
89
72
15
SciFact
456
237
416
-
HealthVer
606
339
429
477
CovidFact
1,291
2,790
-
-
Table 1: Preprocessed sentence-level (MedExpert-related) and claim-level (Others) data statistics. NE means No Evidence (i.e., Neutral/Not Enough Info to decide a final Supported/Refuted verdict). Ambiguous means a claim has multiple pieces of supporting and refuting evidence.
Open-Ended
Semi-Open-Ended
MedExpert
MedExpert-gold
CovidFact
HealthVer
SciFact-Open
SciFact
Label Mapping
P
R
F1
P
R
F1
P
R
F1
P
R
F1
P
R
F1
P
R
F1
Refuted
5.6
17.0
8.4
56.4
25.6
35.2
94.8
33.7
49.7
40.4
37.5
38.9
67.3
78.7
72.5
57.3
81.4
67.2
Refuted + NE
3.2
33.9
5.9
46.8
41.9
44.2
82.9
67.8
74.6
33.0
47.8
39.0
51.3
86.5
64.4
38.6
86.9
53.4
Refuted + NE + A
3.1
45.1
5.7
47.1
55.8
51.1
80.3
76.3
78.2
27.0
74.6
39.6
47.3
98.9
64.0
35.5
97.0
52.0
Table 2: Precision/Recall/F1*100 (%) under different binary label-mapping strategies across open-ended and semi-open-ended fact-checking datasets, using SOTA retriever, Qwen3 in MEDIC corpus, and SOTA verifier, GPT-5.4. Refuted+NE+A means we count Refuted, No Evidence, and Ambiguous labels as Has Error claims. The highest F1 and Recall are bolded for each dataset.
Verifier
Recall
F1
Mistral-Small-24B-Instruct-2501
34.9
42.6
Gemma3-27B
8.1
14.1
MedGemma-27B
16.3
25.2
Qwen3.6-27B
22.1
32.8
Mistral-Small-4-119B-2603
19.8
29.6
GPT-5.4
25.6
35.2
Table 3: Verifier ablation with Qwen3 retriever on MedExpert-gold subset.
Retriever
Recall
F1
MedCPT
19.8
29.3
RRF-2
24.4
34.4
RRF-4
18.6
28.8
Qwen3
25.6
35.2
Table 4: Retriever ablation with GPT-5.4 verifier on MedExpert-gold subset.
Retriever
Supported%
Refuted%
NE%
Ambiguous%
MedCPT
65.0
5.0
26.0
4.0
RRF-2
71.5
5.6
19.2
3.7
RRF-4
75.2
4.6
16.2
4.0
Qwen3
78.3
7.1
8.0
6.6
Table 5: Claim-level 4-label percentage distribution across retrievers with GPT-5.4 verifier on MedExpert-gold subset.
Corpus
Recall
F1
MEDIC
25.6
35.2
Google Scholar Search
15.1
23.9
Google General Search
17.4
26.1
Google Search
15.1
23.4
Table 6: Corpus comparison with GPT-5.4 verifier and Qwen3 retriever on MedExpert-gold subset. Google Search denotes the merged corpus of Google General Search and Google Scholar Search.
Figure 2: For each verifier model, bars (left axis) show recall on MedExpert-gold with the retriever fixed to Qwen3, and the line (right axis) shows its healthcare benchmark rank; models are ordered along the x-axis by size from small to large. Ranks are from the Best AI for Healthcare leaderboard. 8 8 8 MedGemma-27B is not tested by this leaderboard, but the MedGemma model card shows that its scores surpass Gemma3-27B. We therefore plot an estimated rank for it.
Reasoning Effort
Recall
F1
Reasoning Tokens
Low
25.6
35.2
57,398
Medium
23.3
33.1
208,669
High
25.6
37.3
466,052
Table 7: GPT-5.4 reasoning effort ablation with Qwen3 retriever on MedExpert-gold subset.
Appendix figures & tables1 asset
Supplementary material from the paper’s appendix.
Appendix
Dimension
Sub-code
Description
MedCPT
RRF2
RRF4
Qwen3
Entity Match
Direct match
Exact entity + property match
36.5
39.5
53
56.5
Partial topical match
Right property, related entity; Mechanism-only / pharmacological background
28.5
31.5
32
29.5
Irrelevant
Same property, wrong domain; Wrong subdomain entirely
35
29.0
15
14.0
Scope
Exact match
Scope precisely aligned with the claim
7.5
9
13.5
27
Partial match: Too broad/Too narrow
Class-level for a specific claim; Subpopulation-specific
57.5
62
71.5
56.0
Not applicable
Scope dimension does not apply (irrelevant passage)
35
29.0
15
17
Appendix
Table 8: Evidence-quality breakdown across retrieval dimensions and end-to-end performance, using the best verifier, GPT-5.4. Green sub-codes mark high-quality evidence patterns; yellow marks imperfect evidence patterns. Each cell reports the percentage of the 200 annotated passages (per retriever) assigned that sub-code; percentages sum to 100 within each dimension. The bottom block reports end-to-end claim-verification performance (High Quality Rate, precision, recall, F1 with highest scores in bold gray ) per retriever under GPT-5.4 verifier on the MedExpert-gold subset.