SCOPE: Compiling Natural-Language Policies into Neurosymbolic Predicate Programs

Arnon Mazza, Elad Levi

Policy enforcement for LLM agents has shifted from single-turn content moderation to compound, application-specific policies evaluated over multi-turn transcripts and tool-call tra…