314 citations · 314 across the 7 of their papers we have counts for
7 papers
Beyond Entity Alignment: Towards Complete Knowledge Graph Alignment via Entity-Relation Synergy
Xiaohan Fang, Chaozhuo Li, Yi Zhao +5
Knowledge Graph Alignment (KGA) aims to integrate knowledge from multiple sources to address the limitations of individual Knowledge Graphs (KGs) in terms of coverage and depth. Ho…
Using Graph Neural Networks for Program Termination
Yoav Alon, Cristina David
Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs,…
Online Coordination: Methods and Comparative Case Studies of Coordinated Groups across Four Events in the United States
Lynnette Hui Xian Ng, Kathleen M. Carley
Coordinated groups of user accounts working together in online social media can be used to manipulate the online discourse and thus is an important area of study. In this study, we…
Reinforced MOOCs Concept Recommendation in Heterogeneous Information Networks
Jibing Gong, Yao Wan, Ye Liu +8
Massive open online courses (MOOCs), which offer open access and widespread interactive participation through the internet, are quickly becoming the preferred method for online and…
Discovering Personalized Semantics for Soft Attributes in Recommender Systems using Concept Activation Vectors
Christina Göpfert, Alex Haig, Yinlam Chow +7
Interactive recommender systems have emerged as a promising paradigm to overcome the limitations of the primitive user feedback used by traditional recommender systems (e.g., click…
SolType: Refinement Types for Arithmetic Overflow in Solidity
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri +2
As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relev…