会员服务
Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
Arxiv
0+阅读 · 1月23日
Efficient reversal of transductions of sparse graph classes
Arxiv
0+阅读 · 1月21日
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
Arxiv
0+阅读 · 1月19日
Expressive Temporal Specifications for Reward Monitoring
Arxiv
0+阅读 · 2025年12月22日
Monadic Second-Order Logic of Permutations
Arxiv
0+阅读 · 2025年11月4日
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
Arxiv
0+阅读 · 2025年12月5日
Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization
Arxiv
0+阅读 · 2025年11月6日
On the uniform one-dimensional fragment
Arxiv
0+阅读 · 2023年4月19日
On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing
Arxiv
0+阅读 · 2023年4月7日
参考链接
微信扫码咨询专知VIP会员
Top