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.
Backtesting large language models on historical events requires reasoning exclusively from information available before a specified cutoff date. Yet models routinely leak post-cutoff knowledge from pre-training into their reasoning, inflating apparent accuracy and undermining evaluation validity. Prompt-based constraints fail when suppressed content is causally related to the prediction, and knowledge unlearning cannot address this problem because temporal compliance is instance-specific: the same fact may be legitimate evidence for one cutoff date and a violation for another. Rather than erasing knowledge, the model must learn temporal discipline: selecting evidence conditioned on each instance's cutoff date. We propose TEMPO (Temporal Enforcement via Mode-separated Policy Optimization), which trains this discipline via two contributions: (1) a two-mode reward where a leakage mode drives post-cutoff claims to zero as a hard prerequisite before a performance mode optimizes task performance; and (2) a GRPO-based training pipeline that enables the model to discover temporally valid reasoning strategies. We prove that training monotonically decreases leakage, converges to the leak-free optimum, and improves task performance once compliance is achieved. On three prediction tasks and two models, TEMPO reduces leakage from 213% to 0.63.7% across all conditions, with task performance improving 6~13% where strong pre-cutoff signals exist and maintained where the prediction task is inherently difficult from valid information alone.
Zeyu Zhang, Bradly C. Stadie
Department of Statistic and Data Science Northwestern University
The standard check for contamination in LLM backtests is simple: compare scores before and after the training cutoff. We show this check is uninformative. Four flagship models fail it on questions they cannot have memorized: every scored question resolved after their cutoffs. The reason is structural. Models legitimately know more about times near their cutoff, so recency mimics leakage, and we prove no passive backtest can separate the two from genuine skill. Measurement, not just detection, requires information from outside the backtest. We supply it in two forms. A known cutoff identifies leakage at the boundary; a matched clean control identifies it globally and yields a leakage-adjusted score. We also derive where leakage hides: it concentrates on outcomes that surprised the crowd and were well covered in training, and partial memorization is disproportionately rewarded. We validate the estimators against ground truth by planting leakage in twin models, where they recover the injected dose and return null on clean questions. Deployed on frontier models, they detect one cutoff-localized signature and, at the audit's power floor, clear five models whose apparent advantages were recency alone. Backtests need not be discarded; they need one defensible reference.
Zeyu Zhang, Bradly C. Stadie
Department of Statistics and Data Science Northwestern University
Large language models (LLMs) often fail to reason under temporal cutoffs: when prompted to answer from the standpoint of an earlier time, they exploit knowledge that became available only later. We study this failure through the lens of ex-ante reasoning, where a model must rely exclusively on information knowable before a cutoff. Through a systematic analysis of prompt-level interventions, we find that temporal leakage is highly sensitive to cutoff formulation and instruction placement: explicit cutoff statements outperform implicit historical framings, and prefix constraints reduce leakage more effectively than suffix constraints. These findings indicate that prompting can steer models into a temporal frame, but does not endow them with the ability to verify whether a response is temporally admissible. We further argue that supervised fine-tuning is insufficient, since ex-ante correctness is not an intrinsic property of an answer, but a relation between the answer and the cutoff. To address this gap, we propose TCFT, a Temporal Critique Fine-Tuning framework that trains models to acquire cutoff-aware temporal verification. Given a query, a cutoff, and a candidate response, TCFT teaches the model to identify post-cutoff leakage, explain temporal boundary violations, and judge temporal admissibility. Experiments with Qwen2.5-7B-Instruct and Qwen2.5-14B-Instruct show that TCFT consistently outperforms prompting and SFT baselines, reducing average leakage by 41.89 and 37.79 percentage points, respectively.
Chenlu Ding, Jiancan Wu, Yanchen Luo +3
University of Science and Technology of China · The Hong Kong Polytechnic University · University of Notre Dame