English
Related papers

Related papers: Exploring Representation of Horn Clauses using GNN…

200 papers

Contextually Guided Convolutional Neural Networks (CG-CNNs) employ self-supervision and contextual information to develop transferable features across diverse domains, including visual, tactile, temporal, and textual data. This work…

Computer Vision and Pattern Recognition · Computer Science 2024-10-25 Olcay Kursun , Ahmad Patooghy , Peyman Poursani , Oleg V. Favorov

We present a method for automatic inference of conditions on the initial states of a program that guarantee that the safety assertions in the program are not violated. Constrained Horn clauses (CHCs) are used to model the program and…

Logic in Computer Science · Computer Science 2018-04-18 Bishoksan Kafle , John P. Gallagher , Graeme Gange , Peter Schachte , Harald Sondergaard , Peter J. Stuckey

Graph neural network (GNN)'s success in graph classification is closely related to the Weisfeiler-Lehman (1-WL) algorithm. By iteratively aggregating neighboring node features to a center node, both 1-WL and GNN obtain a node representation…

Machine Learning · Computer Science 2021-10-27 Muhan Zhang , Pan Li

Heterogeneous graph neural networks (HGNNs) were proposed for representation learning on structural data with multiple types of nodes and edges. To deal with the performance degradation issue when HGNNs become deep, researchers combine…

Machine Learning · Computer Science 2023-11-27 Xinyu Fu , Irwin King

Graph Transformers (GTs) have made remarkable achievements in graph-level tasks. However, most existing works regard graph structures as a form of guidance or bias for enhancing node representations, which focuses on node-central…

Machine Learning · Computer Science 2024-12-10 Xiaorui Qi , Qijie Bai , Yanlong Wen , Haiwei Zhang , Xiaojie Yuan

Graph convolutional network (GCN) based approaches have achieved significant progress for solving complex, graph-structured problems. GCNs incorporate the graph structure information and the node (or edge) features through message passing…

Machine Learning · Computer Science 2021-05-04 Saurav Manchanda , Da Zheng , George Karypis

We propose a novel scene graph generation model called Graph R-CNN, that is both effective and efficient at detecting objects and their relations in images. Our model contains a Relation Proposal Network (RePN) that efficiently deals with…

Computer Vision and Pattern Recognition · Computer Science 2018-08-02 Jianwei Yang , Jiasen Lu , Stefan Lee , Dhruv Batra , Devi Parikh

Graph neural networks have demonstrated state-of-the-art performance on knowledge graph tasks such as link prediction. However, interpreting GNN predictions remains a challenging open problem. While many GNN explainability methods have been…

Machine Learning · Computer Science 2025-06-17 Ryoji Kubo , Djellel Difallah

Graph Convolution Network (GCN) has attracted significant attention and become the most popular method for learning graph representations. In recent years, many efforts have been focused on integrating GCN into the recommender tasks and…

Machine Learning · Computer Science 2020-07-14 Kang Liu , Feng Xue , Richang Hong

Graph Neural Networks (GNNs) have been generalized to process the heterogeneous graphs by various approaches. Unfortunately, these approaches usually model the heterogeneity via various complicated modules. This paper aims to propose a…

Machine Learning · Computer Science 2023-11-23 Junfu Wang , Yuanfang Guo , Liang Yang , Yunhong Wang

In recent years, Graph Neural Networks (GNNs) have made significant advances in processing structured data. However, most of them primarily adopted a model-centric approach, which simplifies graphs by converting them into undirected formats…

Machine Learning · Computer Science 2024-12-12 Henan Sun , Xunkai Li , Daohan Su , Junyi Han , Rong-Hua Li , Guoren Wang

Incorporating relational reasoning in neural networks for object recognition remains an open problem. Although many attempts have been made for relational reasoning, they generally only consider a single type of relationship. For example,…

Computer Vision and Pattern Recognition · Computer Science 2021-12-16 Hao Chen , Abhinav Shrivastava

Graph Neural Networks (GNNs) have become a prominent approach to machine learning with graphs and have been increasingly applied in a multitude of domains. Nevertheless, since most existing GNN models are based on flat message-passing…

Machine Learning · Computer Science 2022-10-27 Zhiqiang Zhong , Cheng-Te Li , Jun Pang

Real-world graph data environments intrinsically exist noise (e.g., link and structure errors) that inevitably disturb the effectiveness of graph representation and downstream learning tasks. For homogeneous graphs, the latest works use…

Machine Learning · Computer Science 2024-12-25 Xiong Zhang , Cheng Xie , Haoran Duan , Beibei Yu

Graph neural networks (GNNs) can learn effective node representations that significantly improve link prediction accuracy. However, most GNN-based link prediction algorithms are incompetent to predict weak ties connecting different…

Social and Information Networks · Computer Science 2024-10-22 Weiwei Gu , Linbi Lv , Gang Lu , Ruiqi Li

Despite recent advances in representation learning in hypercomplex (HC) space, this subject is still vastly unexplored in the context of graphs. Motivated by the complex and quaternion algebras, which have been found in several contexts to…

Machine Learning · Computer Science 2022-02-22 Tuan Le , Marco Bertolini , Frank Noé , Djork-Arné Clevert

Semantic role labeling (SRL) is the task of identifying the predicate-argument structure of a sentence. It is typically regarded as an important step in the standard NLP pipeline. As the semantic representations are closely related to…

Computation and Language · Computer Science 2017-08-01 Diego Marcheggiani , Ivan Titov

With the continuous growth in the scale and complexity of software systems, defect remediation has become increasingly difficult and costly. Automated defect prediction tools can proactively identify software changes prone to defects within…

Software Engineering · Computer Science 2025-05-14 Liguo Ji , Chenchen Li , Shenglin Wang , Furui Zhan

Despite the recent progress in Graph Neural Networks (GNNs), it remains challenging to explain the predictions made by GNNs. Existing explanation methods mainly focus on post-hoc explanations where another explanatory model is employed to…

Machine Learning · Computer Science 2021-12-03 Zaixi Zhang , Qi Liu , Hao Wang , Chengqiang Lu , Cheekong Lee

We focus on graph-to-sequence learning, which can be framed as transducing graph structures to sequences for text generation. To capture structural information associated with graphs, we investigate the problem of encoding graphs using…

Computation and Language · Computer Science 2019-09-10 Zhijiang Guo , Yan Zhang , Zhiyang Teng , Wei Lu
‹ Prev 1 8 9 10 Next ›