T-SMART: Mechanism-Level Attribution for Tool-Augmented Time-Series Question Answering
Organizations: University of California, San Diego, CA, USA · West Virginia University, Morgantown, WV, USA
Abstract
Large language models (LLMs) can struggle with time-series question answering (TS-QA), especially when numerical signals are serialized as text and require explicit computation. Tool-augmented approaches improve performance, but existing systems often intertwine language reasoning, computation, and perception, making it difficult to determine which components drive the gains. We present T-SMART, a neurosymbolic framework that separates these roles: a frozen LLM interprets questions and selects operations, deterministic tools perform numerical computation, and structured perception is invoked only when needed. Controlled paired ablations show that deterministic computation provides the dominant benefit, improving accuracy by 31.7 percentage points over direct LLM reasoning on serialized time series, while language understanding and perception offer smaller complementary gains. These results indicate that tool-augmented TS-QA benefits primarily from reliable numerical execution rather than additional language-model reasoning and provide a controlled framework for analyzing component contributions in neurosymbolic time-series systems.
Figures & tables
| Branch | Core tools |
|---|---|
| trend | OLS slope, functional-form fits, ruptures change-points |
| periodicity | FFT and spectral features, seasonal decomposition |
| anomaly | z-score and IQR scoring, change-point detection |
| noise | Engle ARCH-LM, Ljung-Box, ADF, KPSS |
| similarity | dynamic time warping, statistical distances |
| causality | Granger F-test, lag correlation |
| Name | Setting and role |
|---|---|
| baseline | trust gate, no loop; A0 numeric head on free-response. Canonical T-SMART; the control condition |
| vision_override | suppress vision on noise, force anomaly line plots. TimeSeriesExam-selected routing intervention, frozen before OOD testing; a mechanism-transfer ablation |
| learned_gate | per-branch suppression filter over the trust gate; a lower-look-rate policy fitted on MMTS discordance, evaluated on held-out TimeSeriesExam |
| vision_off | suppress vision on all branches; the math-only counterfactual |
| head_grammar , head_planner | A1 / A2 parser over the A0 default; free-response numeric-head variants |
| llm_only | no router, branch, or tools; one direct answer call. Raw-model control for the fixed-backbone analysis |
| Model | Setting | OA | PR | NU | AD | SA | CA |
| Phi-3.5 | text | ||||||
| Gemini-2.5 | text | ||||||
| Mistral-7B | text | ||||||
| GPT-4o | text | ||||||
| ChatTS | TS model | ||||||
| Gemini-2.5 | vision |
| Model | Micro OA | Base | InWild | Match | Align |
|---|---|---|---|---|---|
| ChatTS | |||||
| TS-Agent | |||||
| T-SMART baseline | 55.6 |
| Comparison | 95% CI | ||||
| all numerical rows | 128/12 | 0.0001 | |||
| closed-form | 104/0 | 0.0001 | |||
| structured vs. math-only | 113/69 | 0.0014 | |||
| raw pixels vs. math-only | 119/62 | 0.0001 | |||
| SVI cost (struct. raw) |
| Layer | A0 | A1 | A2 | A2 fire % |
|---|---|---|---|---|
| clean | ||||
| compositional | ||||
| typo | ||||
| paraphrase | ||||
| overall ( ) |
Time Series QA
Time-series question answering connects natural-language questions to evidence and reasoning over sequential data.
See all 32 papers