Provably Auditable and Safe LLM Agents from Human-Authored Ontologies 事件

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies arXiv:2606.04903v1 Announce Type: cross Abstract: We introduce the LLM agent architecture Agentic Redux, intended for use with nontrivial problem domains that require linear auditability. Using the typed lambda calculus, we prove that, run on appropriate domains, Agentic Redux executions are semantically guaranteed to be correct, with all decisions recorded in an append-only ledger. We present two production-grade appropriate