AutoCedar：面向访问控制策略合成的代理式验证器引导框架

AutoCedar 将自然语言访问控制需求拆解为可审阅、可机械验证的意图原子，再由模型生成 Cedar 策略，并依据验证器反馈持续修复。论文称其在 CedarBench 的 221 个任务上全部收敛，并在医疗、教育和会议管理三个案例中生成经过全局验证的策略库。