1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2026
Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs
Zhenchao Sun, Shuai Ma, Ping Lu +1
Graph neural networks have been widely used in Boolean satisfiability (SAT) tasks to learn structural information from SAT formulas. The goal of these studies is to solve SAT insta…
cs.SI2021★ 1 cited
Hyperbolic Hypergraphs for Sequential Recommendation
Yicong Li, Hongxu Chen, Xiangguo Sun +5
Hypergraphs have been becoming a popular choice to model complex, non-pairwise, and higher-order interactions for recommender system. However, compared with traditional graph-based…