כתבה
arXiv cs.AI ·
לוגיקת עבר גורמית לאימות זמן ריצה של זרימות עבודה מבוזרות של LLM
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
חוקרים אימות זמן ריצה לזרימות עבודה מבוזרות של LLM. הם מרחיבים את מסגרת ZipperGen עם לוגיקת עבר גורמית (CPL) לאימות זמן ריצה. CPL מאפשרת לבדוק אירועים קודמים ומשתנים בזרימת עבודה אחרת.
תקציר מקורי באנגליתarXiv:2605.20923v2 Announce Type: replace-cross Abstract: We study runtime monitoring for distributed LLM-agent workflows. In an asynchronous execution, a decision can only depend on events that are causally visible to the lifeline that makes it: an event that appears earlier in some log may still be unknown locally. We extend the ZipperGen agent-workflow framework with Causal Past Logic (CPL), an adaptation of PT-DTL to guards in if-constructs and while loops. In addition to standard past-time modalities such as previous and since, a guard can inspect the latest causally visible event of another lifeline and selected variables stored there. The owner evaluates the guard online to select the next branch or loop step. We adapt the knowledge-vector monitor to ZipperGen and prove that the loc
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית