Search papers, labs, and topics across Lattice.
To resolve long-horizon execution failures caused by unconstrained generation over unstructured history, this work introduces Procedural Graphs, a representation that structures procedural knowledge into (procedure, relation, procedure) triplets to provide localized situational guidance at each agent step. The framework features an autonomous self-evolution loop where an LLM refiner contrasts successful and failed execution traces to update graph topology and attributes based on held-out validation performance. Across diverse benchmarks and model backbones, this approach consistently outperforms conventional memory-based baselines while autonomously repairing flawed expert priors and matching or exceeding hand-engineered agent workflows.
Instead of relying on brittle prompt histories or rigid hand-coded workflows, LLM agents can now autonomously construct, debug, and evolve their own graph-structured execution policies purely from contrastive trial and error.
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.
