Provably Auditable LLM Agents Use Typed Lambda Calculus for Guaranteed Correc...
Agentic Redux, a new LLM agent architecture, uses typed lambda calculus to guarantee semantic correctness with append-only ledger auditability, demonstrated in healthcare billing compliance and sec...