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