atlas

Research map / Large language models / Agents, code and math

Benchmarking Spatiotemporal Reasoning in LLMs and Reasoning Models: Capabilities and Challenges

NeurIPS 2025 · Large language models › Agents, code and math · approach: Mathematical and structural reasoning benchmarks · 1 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Introduces STARK, a hierarchical spatiotemporal reasoning benchmark (26 tasks, 14,552 instances) evaluating 8 LLMs and 3 LRMs in direct-answer and code-interpreter modes against first-principle baselines.

Problem

LLMs and LRMs' ability to reason jointly over space, time, and world knowledge for cyber-physical system tasks (state estimation, reasoning over states, knowledge-aware reasoning) is underexplored, and existing benchmarks are fragmented or multiple-choice.

Approach

A three-tier, open-ended benchmark that covers localization, tracking, field-variable prediction, DE-9IM spatial and Allen-interval temporal relations, and world-knowledge tasks, scored by RMSE/RMSPE in both direct-answer and Python code-interpreter modes.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use Python code interpreter for localization instead of direct answeringLLMs including GPT-4o, GPT-4.1, and GPT-4o-mini · STARK-S localization tasksRMSE: nearly 80%Helped
Use Python code interpreter for tracking instead of direct answeringEvaluated models · STARK-S tracking tasksRMSEHurt
Use Python code interpreter instead of direct answeringo3-mini · STARK-S tasksRMSE: up to +86%Mixed
Use a larger reasoning model (o3 rather than smaller LRMs)LRMs · STARK tasksRMSEHelped
Use LRMs rather than LLMsModels evaluated on localization and tracking · STARK-S localization and tracking tasksRMSE: 3× to 10× lower errorHelped
Use LRMs rather than first-principle methodsLocalization range task · STARK-S Loc-rangeRMSEHelped
Use LLMs rather than LRMs for world-knowledge reasoningModels evaluated on Tier 3 tasks · STARK-S world-knowledge tasksRMSEMixed

Surprising findings

Limitations

Experimental setup

Datasets: PurpleAir air quality CalTrans PeMS traffic OpenStreetMap ArcGIS

Benchmarks: STARK-S STARK-L

Metrics: RMSE RMSPE relative change in RMSE with code interpreter

Baselines: multilateration triangulation Extended Kalman Filter finite state machine random guess

Builds on: DE-9IM Allen's interval algebra SCAAT tracking Extended Kalman Filter

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy