中文
相关论文

相关论文: Graph Neural Reasoning for 2-Quantified Boolean Fo…

200 篇论文

Graph neural networks (GNNs) are effective machine learning models for various graph learning problems. Despite their empirical successes, the theoretical limitations of GNNs have been revealed recently. Consequently, many GNN models have…

机器学习 · 计算机科学 2020-10-19 Ryoma Sato

Quadratic programming (QP) solvers are widely used in real-time control and optimization, but their computational cost often limits applicability in time-critical settings. To resolve this, we propose a learning-to-optimize approach using…

机器学习 · 计算机科学 2026-05-20 Ella J. Schmidtobreick , Daniel Arnström , Paul Häusner , Jens Sjölund

A quantified Boolean formula (QBF) is a propositional formula extended with universal and existential quantification over propositions. There are two methodologies in CEGAR based QBF solving techniques, one that is based on a refinement…

计算机科学中的逻辑 · 计算机科学 2018-03-28 Leander Tentrup

Knowledge graphs are structured representations of facts in a graph, where nodes represent entities and edges represent relationships between them. Recent research has resulted in the development of several large KGs. However, all of them…

计算与语言 · 计算机科学 2020-04-17 Shikhar Vashishth

Convex quadratically constrained quadratic programs (QCQPs) involve finding a solution within a convex feasible region defined by quadratic constraints while minimizing a convex quadratic objective function. These problems arise in various…

最优化与控制 · 数学 2025-11-25 Chenyang Wu , Qian Chen , Akang Wang , Tian Ding , Ruoyu Sun , Wenguo Yang , Qingjiang Shi

Graph Neural Networks (GNNs) have become a central tool for learning on graph-structured data, yet their applicability to real-world systems remains limited by key challenges such as scalability, temporality, directionality, data…

机器学习 · 计算机科学 2025-10-28 Emanuele Rossi

Real data collected from different applications that have additional topological structures and connection information are amenable to be represented as a weighted graph. Considering the node labeling problem, Graph Neural Networks (GNNs)…

社会与信息网络 · 计算机科学 2020-02-06 Xiaoxiao Li , Joao Saude

Graph Neural Networks (GNNs) have achieved significant success across various applications. However, their complex structures and inner workings can be challenging for non-AI experts to understand. To address this issue, this study presents…

人机交互 · 计算机科学 2025-12-18 Yilin Lu , Chongwei Chen , Yuxin Chen , Kexin Huang , Marinka Zitnik , Qianwen Wang

Graph Neural Networks (GNNs) address two key challenges in applying deep learning to graph-structured data: they handle varying size input graphs and ensure invariance under graph isomorphism. While GNNs have demonstrated broad…

人工智能 · 计算机科学 2026-02-20 Bernardo Cuenca Grau , Eva Feng , Przemysław Andrzej Wałęga

Graph neural networks (GNNs) are a class of deep models that operate on data with arbitrary topology represented as graphs. We introduce an efficient memory layer for GNNs that can jointly learn node representations and coarsen the graph.…

机器学习 · 计算机科学 2020-06-11 Amir Hosein Khasahmadi , Kaveh Hassani , Parsa Moradi , Leo Lee , Quaid Morris

Pattern recognition problems in high energy physics are notably different from traditional machine learning applications in computer vision. Reconstruction algorithms identify and measure the kinematic properties of particles produced in…

In recent years, Graph Neural Networks (GNNs) have been utilized for various applications ranging from drug discovery to network design and social networks. In many applications, it is impossible to observe some properties of the graph…

机器学习 · 计算机科学 2025-03-12 Moshe Eliasof , Md Shahriar Rahim Siddiqui , Carola-Bibiane Schönlieb , Eldad Haber

Various classes of Graph Neural Networks (GNN) have been proposed and shown to be successful in a wide range of applications with graph structured data. In this paper, we propose a theoretical framework able to compare the expressive power…

机器学习 · 计算机科学 2021-06-08 Waïss Azizian , Marc Lelarge

Graph neural networks (GNNs) are powerful graph-based machine-learning models that are popular in various domains, e.g., social media, transportation, and drug discovery. However, owing to complex data representations, GNNs do not easily…

机器学习 · 计算机科学 2024-05-14 Pantea Habibi , Peyman Baghershahi , Sourav Medya , Debaleena Chattopadhyay

Graph Neural Networks (GNNs) have emerged as a powerful and flexible framework for representation learning on irregular data. As they generalize the operations of classical CNNs on grids to arbitrary topologies, GNNs also bring much of the…

机器学习 · 计算机科学 2021-03-31 Mehdi Bahri , Gaétan Bahl , Stefanos Zafeiriou

Wireless networks are inherently graph-structured, which can be utilized in graph representation learning to solve complex wireless network optimization problems. In graph representation learning, feature vectors for each entity in the…

信息论 · 计算机科学 2024-10-28 Maryam Mohsenivatani , Samad Ali , Vismika Ranasinghe , Nandana Rajatheva , Matti Latva-Aho

In this paper, from a theoretical perspective, we study how powerful graph neural networks (GNNs) can be for learning approximation algorithms for combinatorial problems. To this end, we first establish a new class of GNNs that can solve a…

机器学习 · 计算机科学 2019-11-11 Ryoma Sato , Makoto Yamada , Hisashi Kashima

Knowledge graph (KG) reasoning is a task that aims to predict unknown facts based on known factual samples. Reasoning methods can be divided into two categories: rule-based methods and KG-embedding based methods. The former possesses…

人工智能 · 计算机科学 2024-07-08 Fengsong Sun , Jinyu Wang , Zhiqing Wei , Xianchao Zhang

While instance-level explanation of GNN is a well-studied problem with plenty of approaches being developed, providing a global explanation for the behaviour of a GNN is much less explored, despite its potential in interpretability and…

机器学习 · 计算机科学 2023-04-13 Steve Azzolin , Antonio Longa , Pietro Barbiero , Pietro Liò , Andrea Passerini

Explainable Graph Neural Network (GNN) has emerged recently to foster the trust of using GNNs. Existing GNN explainers are developed from various perspectives to enhance the explanation performance. We take the first step to study GNN…

密码学与安全 · 计算机科学 2024-06-06 Jiate Li , Meng Pang , Yun Dong , Jinyuan Jia , Binghui Wang