#模态μ-演算

这篇论文对研究图神经网络和形式化验证的工程师来说很有价值，因为它提供了一种新的方法来构建和解释循环图神经网络。