Preprint Open access
RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation
Translating natural-language access-control requirements into policies requires careful reasoning about permissions, constraints, and exceptions, and even frontier LLMs often produce policies that violate the intended authorization semantics. We construct CedarInstruct, to our knowledge the first dataset that supports …