provable-security

本文提出了一种新的AI智能体安全范式，采用带有神经符号隔离的可执行证明约束动作（ePCA）框架，实证评估中实现了零攻击成功率。