Fetching the paper…

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents · Around