介绍将形式化验证方法用于AI智能体行为控制的实践探索，提升AI系统可靠性与可验证性。

研究采用集合聚合（非多重集）的循环GNN，建立权重可验证的双向编译等价性，连接神经网络与逻辑公式。