Backtesting LLMs on resolved events assumes models reason only from pre-cutoff knowledge, yet pretrained models inevitably leak post-cutoff knowledge. We introduce a claim-level evaluation framework that decomposes prediction rationales into atomic claims and applies Shapley values to quantify each claim's decision impact, yielding Shapley-DCLR (Shapley-weighted Decision-Critical Leakage Rate) -- an interpretable metric measuring what fraction of decision-driving reasoning is contaminated. We further propose TimeSPEC (Time-Supervised Prediction with Extracted Claims), an inference-time architecture that interleaves temporally-filtered retrieval with claim-level supervision, producing predictions grounded entirely in pre-cutoff evidence. Across three LLMs, the ablation experiments confirm retrieval and supervision are jointly necessary; and a three-task probe further illstrates that the performance cost of temporal enforcement scales with each task's reliance on post-cutoff information.
Figures & tables
Figure 1: The Shapley-DCLR evaluation pipeline: a model-agnostic, claim-level framework for detecting and quantifying temporal leakage. Given any LLM’s rationale R and a reference date tref , Phase 1 decomposes R into atomic claims and categorizes each. Phases 2 and 3 run in parallel. Phase 2 estimates each claim’s Shapley contribution ϕi to the prediction via Leverage SHAP at O(C⋅nlogn) cost. Phase 3 determines leakage indicators {ℓi} via category-based routing, where deterministic categories bypass external search, reducing verification cost. Phase 4 fuses {ϕi} and {ℓi} into Shapley-DCLR (Eq. 4 ).
Figure 2: The TimeSPEC architecture: an inference-time pipeline that interleaves temporally-filtered retrieval with claim-level supervision under a closed-world guarantee. The Generator issues date-filtered web queries ( t<tref ) and produces a draft prediction with rationale. The Supervisor extracts and categorizes claims, partitioning them into validated ( Cvalid(1) ) and violated sets. If violations exist, the Regenerator re-queries with diversified searches and the Resupervisor audits the new rationale, yielding Cvalid(2) ; if none, the validated claims route directly to the Aggregator . The Aggregator synthesizes y^final=A(I,Cvalid(1)∪Cvalid(2)) under a closed-world constraint: only the task input and validated claims enter the final synthesis.
Qwen3.5-35B
Kimi-K2.5
Claude Sonnet 4
Method
Search
Sup.
DCLR (%) ↓
Acc (%) ↑
DCLR (%) ↓
Acc (%) ↑
DCLR (%) ↓
Acc (%) ↑
Temporal Hint
–
–
5.2
80.5
2.7
86.8
1.0
83.9
Self-Correction
–
✓
1.6
79.9
1.7
86.8
0.8
84.0
Temporal RAG
✓
–
13.1
85.4
8.9
87.8
4.7
84.2
TimeSPEC
✓
✓
1.8
83.9
1.0
87.4
0.8
83.9
Table 1: Treatment-group results across the (Search, Supervision) ablation on three LLMs. DCLR: Shapley-DCLR (%, ↓ , lower is less leakage); Acc: 1−Brier (%, ↑ ). Temporal RAG achieves the highest accuracy but also the highest leakage on every model; TimeSPEC recovers most of the accuracy gain while suppressing DCLR to the supervised floor. Bold marks the best value per column.
Method
Qwen3.5
Kimi-K2.5
Claude
Temporal Hint
0.6
0.5
0.2
Self-Correction
0.5
0.4
0.2
Temporal RAG
16.7
17.0
18.5
TimeSPEC
3.7
2.7
4.2
Table 2: Control-group Shapley-DCLR (%, ↓ ) on three LLMs. Control questions resolve after every model’s knowledge cutoff, so parametric leakage is impossible by construction. Temporal Hint and Self-Correction confirm the near-zero empirical floor.
Figure 3: Task-level performance vs. Shapley-DCLR across the four baselines on Qwen3.5-35B. Each panel plots task-specific performance ( ↑ ) against Shapley-DCLR (%, ↓ ); lower-right is the ideal operating region. Performance metrics are 1−(p^−y)2 for Legal, 1−∣y^−y∣/∣y∣ for NBA Salary, and (ρ+1)/2 for Stock, all normalized to [0,1] .
Appendix figures & tables6 assets
Supplementary material from the paper’s appendix.
Appendix
Group
Source
N
Format
Leakage Status
Treatment
Autocast ( Zou et al., 2022 )
1,942
Binary
Possible (pre-cutoff resolution)
Control
ForecastBench ( Karger et al., 2025 )
827
Binary
Impossible (post-cutoff resolution)
Total
2,769
Appendix
Table 3: Large-scale ablation dataset summary. Treatment questions admit parametric leakage; Control questions do not.
Task
Type
N
Period
Cutoff Design
Metric
Stock
Ranking
100
Dec 2019–Jun 2020
Period start
(ρ+1)/2 ( ↑ )
Salary
Regression
137
2019–2025
Pre-signing
1−∣y^−y∣/∣y∣ ( ↑ )
Legal
Classification
100
Recent terms
Pre-decision
1−(p^−y)2 ( ↑ )
Appendix
Table 4: Task-sensitivity probe dataset summary. Tasks are ordered from highest to lowest leakage sensitivity.
ID
Type
Example Claim
Status
τ(c) Rule
C0
Timeless Definition
“The Brier score is (p−o)2 for predicted probability p and binary outcome o .”
Never leaked
τ(c)=−∞ ; time-invariant by definition.
C1
Stable Entity Attribute
“The U.S. Supreme Court is composed of nine justices.”
Usually safe
Deterministic; attribute must be stable through tref .
C2
Time-Indexed State
“As of Q3 2019, U.S. crude-oil demand had been declining for three consecutive quarters.”
Verify date
Earliest source date corroborating the stated condition.
C3
Quantitative Measurement
“Apple’s FY2019 revenue was $260.2B.”
Verify date
Date of public release (e.g., 10-K filing date).
C4
Comparative / Relational
“In 2019, Boeing’s debt-to-equity ratio exceeded that of Airbus by > 3 × .”
Verify date
Latest source date among the comparands.
C5
Discrete Event
“On Oct. 25, 2019, Microsoft won the $10B JEDI cloud contract.”
Verify date
Event date, or announcement date if unreported.
Appendix
Table 5: Full nine-class claim taxonomy. The Status column indicates how ℓ(c) is determined: deterministic categories (C0–C1, C7–C8) bypass external search entirely, while C2–C6 require date verification via τ(c) . Horizontal rules separate the three operational tiers.
Method
Prompt
RAG
Supervisor
Search
Regen
Aggregator
Temporal Hint
✓
–
–
–
–
–
Self-Correction
✓
–
LLM-only
–
✓
✓
Temporal RAG
✓
✓
–
–
–
–
TimeSPEC
✓
✓
LLM+Search
✓
✓
✓
Appendix
Table 6: Architectural comparison of the four generation methods. ✓ indicates the component is present; – indicates absent.
Legal ( n=100 )
NBA Salary ( n=137 )
Stock ( n=100 )
Method
DCLR ↓
Top-1 ↓
Top-3 ↓
Top-5 ↓
DCLR ↓
Top-1 ↓
Top-3 ↓
Top-5 ↓
DCLR ↓
Top-1 ↓
Top-3 ↓
Top-5 ↓
Temporal Hint
11.7
17.0
11.3
10.1
58.5
70.8
50.4
48.2
26.0
28.0
26.7
26.2
Self-Correction
5.6
7.0
5.0
4.0
11.3
11.7
9.7
9.0
10.2
7.0
8.7
8.6
Temporal RAG
32.5
41.0
35.3
30.7
61.7
75.2
59.1
52.0
73.3
80.0
74.3
72.8
TimeSPEC
5.9
5.0
5.7
5.8
12.8
14.6
12.5
10.6
12.2
7.0
7.0
7.0
Appendix
Table 7: Leakage concentration among the most decision-critical claims. DCLR is the Shapley-weighted aggregate from Section 4.2 ; Top- K is the fraction of the K highest-Shapley claims that are leaked (Eq. 7 ), averaged across instances. All values in %. Top-1 > DCLR indicates that leakage concentrates at the most influential position. Bold marks the lowest value per column within each task group.
Prompt
T. Hint
Self-Corr.
T. RAG
TimeSPEC
Generation (System + User)
✓
✓
✓
✓
RAG Context Block
–
–
✓
✓
Query Generation
–
–
✓
✓
Taxonomy Verification
–
✓
–
✓
Search Re-Verification
–
–
–
✓
Regeneration
–
✓
–
✓
Appendix
Table 8: Prompt usage across methods. ✓ = used; – = not used.
Data contamination in language models examines how training exposure to evaluation data affects measured capability, benchmark validity, and model behavior.