Sergio Álvarez-Napagao

Testing the Planning Claims of LLM-Based Agents against Formal Semantics

LLM-based agents are increasingly credited with the competences of practical reasoning: planning, monitoring, and correcting their own actions. Their success is attributed to the prompting strategies and agent architectures built around the model, such as chain-of-thought, search-based prompting, self-refinement, refle...