Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases | ScienceToStartup | ScienceToStartup