Search papers, labs, and topics across Lattice.
The paper introduces Sonar-TS, a neuro-symbolic framework for Natural Language Querying of Time Series Databases (NLQ4TSDB) that addresses the limitations of existing Text-to-SQL and time series models in handling continuous morphological intents and ultra-long histories. Sonar-TS employs a Search-Then-Verify pipeline, using a feature index to identify candidate windows via SQL queries and then generating Python programs to verify these candidates against raw time series signals. The authors also contribute NLQTSBench, a new large-scale benchmark for NLQ over TSDB, demonstrating Sonar-TS's effectiveness in handling complex temporal queries.
Forget wrestling with complex time series queries: Sonar-TS lets you ask in plain English and then uses generated Python code to pinpoint the answer.
Natural Language Querying for Time Series Databases (NLQ4TSDB) aims to assist non-expert users retrieve meaningful events, intervals, and summaries from massive temporal records. However, existing Text-to-SQL methods are not designed for continuous morphological intents such as shapes or anomalies, while time series models struggle to handle ultra-long histories. To address these challenges, we propose Sonar-TS, a neuro-symbolic framework that tackles NLQ4TSDB via a Search-Then-Verify pipeline. Analogous to active sonar, it utilizes a feature index to ping candidate windows via SQL, followed by generated Python programs to lock on and verify candidates against raw signals. To enable effective evaluation, we introduce NLQTSBench, the first large-scale benchmark designed for NLQ over TSDB-scale histories. Our experiments highlight the unique challenges within this domain and demonstrate that Sonar-TS effectively navigates complex temporal queries where traditional methods fail. This work presents the first systematic study of NLQ4TSDB, offering a general framework and evaluation standard to facilitate future research.
