AIBullisharXiv – CS AI · 8h ago7/10
🧠
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
Researchers introduce Agentic Redux, an LLM agent architecture that guarantees semantic correctness and auditability using typed lambda calculus, paired with a new Ontology-First Agent Design methodology. The framework is demonstrated in healthcare billing compliance and security vulnerability disclosure domains, offering production-grade implementations with provable safety guarantees.