TY - RPRT TI - SCOPE: Compiling Natural-Language Policies into Neurosymbolic Predicate Programs AU - Arnon Mazza AU - Elad Levi PY - 2026 UR - https://arxiv.org/abs/2610.31062 ID - 2610.31062 ER -