Embodied-AI agents must reason about how objects move and interact in 3-D space over time, yet existing smaller frontier Large Language Models (LLMs) still mis-handle fine-grained spatial relations, metric distances, and temporal orderings. We introduce the general framework Formally Explainable Spatio-Temporal Scenes (FESTS) that injects verifiable spatio-temporal supervision into an LLM by compiling natural-language queries into Spatial Regular Expression (SpRE) -- a language combining regular expression syntax with S4u spatial logic and extended here with universal and existential quantification. The pipeline matches each SpRE against any structured video log and exports aligned (query, frames, match, explanation) tuples, enabling unlimited training data without manual labels. Training a 3-billion-parameter model on 27k such tuples boosts frame-level F1 from 48.5% to 87.5%, matching GPT-4.1 on complex spatio-temporal reasoning while remaining two orders of magnitude smaller, and, hence, enabling spatio-temporal intelligence for Video LLM.
Figures & tables
Figure 1: The FESTS framework begins with (1) which processes the SpRE and perception stream inputs to produce the two formal method-based results; (2) processes the explanation to improve readability for LLMs; and (3) packages this into a distributable data formats.
Figure 2: Average Performance across frame lengths. Blue = Overall F1, orange = Exact Match; shaded σ . Starred points denote the best-performing model for each frame length.
4
8
12
16
Overall
Model
F1 f
EM
F1 s
F1 f
EM
F1 s
F1 f
EM
F1 s
F1 f
EM
F1 s
F1 f
EM
F1 s
Q-Baseline
0.472
0.211
0.325
0.456
0.191
0.258
0.452
0.187
0.231
0.416
0.187
0.215
0.485
0.250
0.326
Q-SFT
0.836
0.636
0.644
0.786
0.507
0.582
0.771
0.451
0.565
0.657
0.329
0.454
0.804
0.566
0.636
Q-SFT+RL
0.881
0.676
0.694
0.856
0.611
0.686
0.852
0.549
0.659
0.827
0.440
0.629
0.875
0.645
0.723
GPT-4.1
0.888
0.269
0.640
0.813
0.236
0.528
0.797
0.236
0.497
0.756
0.231
0.447
0.848
0.350
0.610
Table 1: Performance comparison across models and target lengths. Metrics: Frame F1 (F1 f ), Exact Match (EM), and Segment F1 (F1 s ). Best results per column are in bold .
Query type
Base
Stage-I: SFT
Stage-II: SFT + RL
P
R
F 1
EM
P
R
F 1
EM
P
R
F 1
EM
Sequence
0.875
0.668
0.570
0.206
0.931
0.961
0.923
0.715
0.971
0.978
0.962
0.821
Spatial
0.785
0.557
0.415
0.190
0.825
0.853
0.761
0.502
0.845
0.905
0.819
0.552
Temporal
0.863
0.597
0.504
0.348
0.883
0.857
0.810
0.553
0.910
0.902
0.866
0.615
Metric
0.872
0.551
0.457
0.200
0.903
0.830
0.769
0.597
0.917
0.960
0.903
0.706
Existential
0.875
0.574
0.480
0.306
0.817
0.861
0.757
0.463
0.826
0.937
0.828
0.531
Table 2: Precision ( P ), Recall ( R ), F 1 , and Exact-Match (EM) for each query type. Values are averaged across 8-, 12-, and 16-frame lengths.
Embodied agents must reason about 3D space while the video is still arriving, answering questions as soon as they have observed enough of the scene. VLMs that incorporate 3D geometric priors achieve strong spatial reasoning, but they operate offline, i.e., the full video must be available before they produce an answer. Streaming VLMs process frames causally and decide for themselves when to respond, yet they lack explicit 3D representations. We present SpaTime, a streaming VLM that fuses causal geometry tokens into the language model at every frame, using only the frames observed so far. To supervise when the model answers, we propose a response-time loss that maps per-frame response probabilities to a differentiable expected response time and penalizes the distance from the ground-truth frame. For evaluation, we construct StreamVSTI-Bench and StreamVSI-Bench, streaming adaptations of VSTI-Bench and VSI-Bench. On StreamVSTI-Bench, SpaTime reaches 49.2% overall accuracy and reduces the mean response-time error by 66% relative to the strongest streaming baseline.
Hairong Yin, Huangying Zhan, Shin-Fang Chng +2
Department of Computer Science, Purdue University, USA · Goertek Alpha Labs, USA
The growing interest in embodied agents increases the demand for spatiotemporal video understanding, yet existing benchmarks largely emphasize extractive reasoning, where answers can be explicitly presented within spatiotemporal events. It remains unclear whether multimodal large language models can instead perform abstractive spatiotemporal reasoning, which requires integrating observations over time, combining dispersed cues, and inferring implicit spatial and contextual structure. To address this gap, we formalize abstractive spatiotemporal reasoning from videos by introducing a structured evaluation taxonomy that systematically targets its core dimensions and constructs a controllable, scenario-driven synthetic egocentric video dataset tailored to evaluate abstractive spatiotemporal reasoning capabilities, spanning object-, room-, and floor-plan-level scenarios. Based on this framework, we present VAEX-BENCH, a benchmark comprising five abstractive reasoning tasks together with their extractive counterparts. Our extensive experiments compare the performance of state-of-the-art MLLMs under extractive and abstractive settings, exposing their limitations on abstractive tasks and providing a fine-grained analysis of the underlying bottlenecks. The dataset will be released soon.
While multimodal large language models (MLLMs) have advanced video understanding, they remain highly prone to hallucinations in dynamic scenes. We argue this stems from a failure in spatio-temporal monitoring, the ability to persistently track object identities, states, and relations over time. Existing benchmarks obscure this deficit by relying on single final-answer evaluations for queries that can often be resolved via local visual cues or statistical priors. To rigorously diagnose this, we introduce STEMO-Bench (Spatio-TEmporal MOnitoring), a benchmark of human-verified object-centric facts that evaluates intermediate reasoning by decomposing queries into sub-questions, distinguishing genuine temporal understanding from coincidental correctness. To address failure modes exposed by STEMO, we propose STEMO-Track, a novel object-centric framework that explicitly constructs and reasons over structured object trajectories via chunk-wise state extraction and temporal aggregation. Extensive experiments demonstrate that our object-centric framework significantly reduces hallucinated answers and improves spatio-temporal reasoning consistency over state-of-the-art MLLMs.
Tri Cao, Khoi Le, Thong Nguyen +7
National University of Singapore · VinUniversity · Nanyang Technological University