2 papers
cs.CR2026
Proof of Execution: Runtime Verification for Governed AI Agent Actions
James Rhodes, George Kang
Agent systems increasingly execute rather than advise. When an AI agent queries regulated data, invokes effectful tools, and mutates persistent state, correctness is not captured b…
cs.AI2026
Compiled Memory: Not More Information, but More Precise Instructions for Language Agents
James Rhodes, George Kang
Existing memory systems for language agents address memory management: how to retrieve and page more information within a context budget. We address a complementary problem -- memo…