symbolic-guardrails

本文提出符号护栏，通过具体策略为特定领域AI智能体提供可证明的安全与保障，同时不降低实用性；实验显示74%的指定策略可通过简单机制强制执行。