Cordon is a transactional runtime system that binds tool intents to reversible state, staged effects, and audit metadata to validate composed agent workflows before commit.
Franklin, Ali Ghodsi, Joseph M
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Agentic Redux claims provably correct LLM agent executions on suitable domains via typed lambda calculus with full decision logging, demonstrated on healthcare compliance and security disclosure with supporting code.
citing papers explorer
-
Cordon: Semantic Transactions for Tool-Using LLM Agents
Cordon is a transactional runtime system that binds tool intents to reversible state, staged effects, and audit metadata to validate composed agent workflows before commit.
-
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
Agentic Redux claims provably correct LLM agent executions on suitable domains via typed lambda calculus with full decision logging, demonstrated on healthcare compliance and security disclosure with supporting code.