BriefGPT.xyz
Ask
alpha
关键词
finite variable counting logics
搜索结果 - 1
图神经网络的逻辑
本文旨在阐述图神经网络的表达能力可以通过组合 Weisfeiler-Leman 算法和有限变量计数逻辑来精确描述,这种对应关系甚至导致了高阶图神经网络与高维 WL 算法的相应。
PDF
3 years ago
Prev
Next