policy-synthesis
Human-in-the-loop Cedar policy synthesis from natural-language requirements with symbolic verification.