Search papers, labs, and topics across Lattice.
The paper introduces FESTS, a framework for training LLMs on spatio-temporal reasoning by compiling natural language queries into Spatial Regular Expressions (SpREs) and matching them against structured video logs to generate training data. A 3B parameter model trained on 27k automatically generated (query, frames, match, explanation) tuples achieves a significant performance boost, increasing frame-level F1 from 48.5% to 87.5% on complex spatio-temporal reasoning tasks. This allows the smaller model to match the performance of GPT-4.1.
A surprisingly small 3B parameter model can match GPT-4.1's spatio-temporal reasoning abilities when trained with automatically generated, formally verifiable spatio-temporal supervision.
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.
