Brief

Researchers have developed ReasonSTL, a novel framework designed to translate natural language requirements into Signal Temporal Logic (STL) formulas. This tool-augmented approach utilizes local, open-source language models to perform the translation, addressing concerns about cost and privacy associated with commercial LLM APIs. ReasonSTL breaks down the process into reasoning, tool calls, and formula construction, incorporating process-rewarded training and a new benchmark called STL-Bench. AI

Hundreds of U.S. cities with populations over 20,000 are experiencing significant population decline, with Big Spring, Texas, leading the trend with a 15.3% decrease since 2020. Many of these shrinking communities are majority-Black cities in the Deep South, working-class cities in the Southwest, or former industrial towns in the Midwest. Factors contributing to this decline include the closure of federal detention centers, economic volatility tied to industries like oil, chronic underinvestment, and a lack of amenities that attract younger residents to booming exurban areas. AI