Fetching the paper…

Formally Specifying the High-Level Behavior of LLM-Based Agents · Around