🤖 AI Summary
This work addresses the challenge of control-flow violations that arise when large language model (LLM) agents automate high-judgment quality management processes in regulated industries, often due to insufficient integration of symbolic structures such as regulatory rules and typed process models. To overcome this limitation, the paper introduces a “compliance-by-construction” paradigm, which internalizes compliance constraints as core components of the agent architecture rather than relying solely on external guardrails. By synergistically combining LLMs with symbolic systems—integrating typed process models, formal compliance constraints, and neuro-symbolic reasoning—the approach structurally prevents violations while preserving the ability to detect semantic errors. The study also systematically delineates the foundational and capability-level challenges required to realize this paradigm, offering a viable neuro-symbolic pathway for automation in regulation-intensive domains.
📝 Abstract
LLM-based agents are entering regulated industries where they automate judgment intensive quality management processes. We argue that symbolic structures already embedded in these domains, including regulations, typed process models, and compliance constraints, should be treated not merely as external monitoring mechanisms but as core architectural components that shape the agent's decision-making and behavior. We propose compliance-by-construction as a complementary paradigm to guardrail-based monitoring: a structural foundation that prevents control-flow violations, while guardrails remain essential for catching semantic errors. We identify a structured set of neuro-symbolic research challenges on foundational and capability level and show that addressing them jointly enables compliance-by-construction. We call on the neuro-symbolic community to engage with regulated process automation as a high impact research domain.