Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers
Sajjad Khan
A framework that persists execution state so a run can be interrupted, survive a crash, and continue must decide what a resume means for effects that already happened. Five widely…
cs.LG2026
Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems
Sajjad Khan
Multi-agent LLM systems share state through memory stores, vector indices, and tool registries. We model such sharing as long-running read-generate-write operations under determini…