PulseAugur
实时 17:02:08
English(EN) Structural Preservation and the Logical Expressiveness of Graph Neural Networks

图神经网络与分级模态逻辑片段的关联

一篇新论文通过考察图神经网络(GNN)的结构保持特性,探讨了其逻辑表达能力。研究人员建立了分级模态逻辑的特定片段与在嵌入、单射同态和同态下保持不变的GNN分类器类别之间的对应关系。研究结果独立于具体的架构选择,刻画了广泛GNN类别的表达能力,同时表明这些类别可以通过等效的GNN架构来实现。 AI

影响 建立了GNN架构与逻辑形式化之间的理论联系,可能指导未来的模型设计。

排序理由 该集群包含一篇在arXiv上发表的研究论文,详细介绍了关于图神经网络和逻辑的理论发现。

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Przemys{\l}aw Andrzej Wa{\l}\k{e}ga, Bernardo Cuenca Grau ·

    Structural Preservation and the Logical Expressiveness of Graph Neural Networks

    arXiv:2606.17882v1 Announce Type: new Abstract: Bridges between graph neural networks (GNNs) and logical formalisms have been established by fixing architectural choices, such as the types of aggregation, combination, and activation functions. These choices define restricted clas…

  2. arXiv cs.AI TIER_1 English(EN) · Bernardo Cuenca Grau ·

    Structural Preservation and the Logical Expressiveness of Graph Neural Networks

    Bridges between graph neural networks (GNNs) and logical formalisms have been established by fixing architectural choices, such as the types of aggregation, combination, and activation functions. These choices define restricted classes of GNNs for which tight correspondences with…