Procedural graphs help language models plan and act better over time

Procedural Graphs: Self-Evolving Execution Structures for LLM Agents

Artificial IntelligenceComputation and LanguageMultiagent Systems

Summary

Large language models acting as agents often lose track of their goals when performing many steps, leading to mistakes and repeated actions. This paper introduces Procedural Graphs, which organize the steps of a task in a connected structure that helps the model decide what to do next based on its current position. The graph can improve itself by comparing good and bad attempts, changing its structure to get better results without human help. This approach matches or beats expert-designed rules and works well across different tasks and models. It helps language models follow complex procedures more reliably over long tasks.

large language modelsagentprocedural knowledgeknowledge graphself-evolutiontask planningtrajectorytool usevalidation

Authors

Yuxing Lu, Yicheng Chen, Shanchan Wu, Sercan Ö. Arık

Abstract

Large language models are increasingly deployed as agents that plan over long horizons and act through external tools. Most agents select actions through unconstrained generation over an accumulating history, leaving implicit the procedural knowledge of what to do, in what order, and under which conditions. As trajectories lengthen, agents can lose track of their objectives, invoke tools out of order, and repeat unproductive actions. We introduce the Procedural Graph: just as a knowledge graph organizes factual knowledge into (entity, relation, entity) triplets for what-is questions, a Procedural Graph organizes procedural knowledge into (procedure, relation, procedure) triplets for what-to-do questions. At each decision step, the framework localizes the agent's active node, and a guidance model translates the surrounding subgraph into step-level situational guidance that biases the solver's next action without dictating it. The graph is self-evolving: an LLM refiner contrasts failed trajectories with successful ones and edits the graph's topology and attributes, committing edits that preserve or improve held-out validation performance while retaining rejected ones to discourage repetition. Starting from a minimal skeleton, the loop builds graphs that match or surpass hand-designed ones. It can also repair a flawed expert prior. Across multiple datasets, task types, and LLMs, the Procedural Graph delivers consistent gains over memory-based baselines, and self-evolution further improves performance without manual engineering.