Neil Thompson, Martin Fleming, et al.
IAAI 2024
Large Language Model (LLM) agents hold promise for a flexible and scalable alternative to traditional business process automation, but struggle to reliably follow complex company policies. In this study we introduce a deterministic, transparent, and modular framework for enforcing business policy adherence in agentic workflows. Our method operates in two phases: (1) an offline buildtime stage that compiles policy documents into verifiable guard code associated with tool use, and (2) a runtime integration where these guards ensure compliance before each agent action. We demonstrate our approach on the challenging -bench Airlines domain, showing encouraging preliminary results in policy enforcement, and further outline key challenges for real-world deployments.
Neil Thompson, Martin Fleming, et al.
IAAI 2024
Owen Cornec, Rahul Nair, et al.
NeurIPS 2021
Gaetano Rossiello, Shankar Subramaniam
ACM CAIS 2026
Phanwadee Sinthong, Dhaval Patel, et al.
VLDB 2022