hraness

saved

Procedural Graphs: Self-Evolving Execution Structures for LLM Agents

by Yuxing Lu, Yicheng Chen, Shanchan Wu and Sercan Ö. ArıkarXivpublished

Hraness cites a source capture. The source author remains the source.

gist

Procedural Graphs keep what-to-do knowledge outside model weights as an editable directed graph of procedure nodes and attributed transitions. At each step the framework localizes the active node and a guidance model turns the local neighborhood into situational advice that biases the solver without hard-coding the next action. Offline, an LLM refiner contrasts failed and successful trajectories, proposes topology and attribute edits, and commits only candidates that hold or improve held-out validation while remembering rejections. From a minimal skeleton the loop matches or beats hand-designed graphs and can repair a bad expert prior.

ideas

  • Mirror knowledge graphs for procedures. Store (procedure, relation, procedure) triplets so agents answer what-to-do with an inspectable graph instead of reconstructing order from a flat history.
  • Guide from the local neighborhood. Locate the active node, retrieve its k-hop transitions with condition/guidance/pitfalls attributes, and generate step-level situational advice rather than dumping the full graph.
  • Bias without dictating. Append generative guidance to the solver prompt so the ReAct loop stays free to reason while admissible transitions stay explicit.
  • Evolve under a validation gate. Contrast failed versus successful trajectories, edit topology and attributes, keep only candidates that do not hurt held-out score, and retain rejected edits as negative constraints.
  • Construction modes matter. Evolution from scratch can match or surpass expert graphs; iterative repair recovers when a hand-crafted prior initially hurts performance.

quotes

a Procedural Graph organizes procedural knowledge into (procedure, relation, procedure) triplets for what-to-do questions.

Yuxing Lu and coauthors, defining the representation.

The graph is self-evolving: an LLM refiner contrasts failed trajectories with successful ones

Yuxing Lu and coauthors, stating the offline loop.

Starting from a minimal skeleton, the loop builds graphs that match or surpass hand-designed ones.

Yuxing Lu and coauthors, summarizing construction results.

biases the solver’s next action without dictating it.

Yuxing Lu and coauthors, stating the guidance contract.