论文提出基于集合聚合的循环图神经网络

Blai Bonet 提出一种基于集合聚合的循环图神经网络。该研究识别出可从网络权重中检查的充分条件，实现了网络与公式之间的双向等价转换。主要成果建立了一类网络与模态 $\mu$-演算特定片段之间的有效对应，无需计数逻辑或外部停止信号，为满足条件的网络提供了从权重到符号解释的可验证路径。