activity
20242026
collaborators

9 papers

cs.CC2026

Self-Referential -SAT and the Finite Analogue of Gödel's Incompleteness Theorem

Wen Fang, Xianxian Li, Jun Liu +3

Self-reference and solution independence are core properties underlying intractability. This paper establishes a finite combinatorial analogue of Gödel's incompleteness theorems w…

cs.AI2026

Towards LLM-Empowered Knowledge Tracing via LLM-Student Hierarchical Behavior Alignment in Hyperbolic Space

Xingcheng Fu, Shengpeng Wang, Yisen Gao +4

Knowledge Tracing (KT) diagnoses students' concept mastery through continuous learning state monitoring in education.Existing methods primarily focus on studying behavioral sequenc…

cs.CC2026

Constructing self-referential instances for the clique problem

Jiaqi Li, Shuli Hu, Xianxian Li +1

In this paper, we propose constructing self-referential instances to reveal the inherent algorithmic hardness of the clique problem. First, we prove the existence of a phase transi…

cs.LG2025

Toward a Unified Geometry Understanding: Riemannian Diffusion Framework for Graph Generation and Prediction

Yisen Gao, Xingcheng Fu, Qingyun Sun +2

Graph diffusion models have made significant progress in learning structured graph data and have demonstrated strong potential for predictive tasks. Existing approaches typically e…

cs.LG2025

Mitigating Message Imbalance in Fraud Detection with Dual-View Graph Representation Learning

Yudan Song, Yuecen Wei, Yuhang Lu +6

Graph representation learning has become a mainstream method for fraud detection due to its strong expressive power, which focuses on enhancing node representations through improve…

cs.LG2025

An Out-Of-Distribution Membership Inference Attack Approach for Cross-Domain Graph Attacks

Jinyan Wang, Liu Yang, Yuecen Wei +5

Graph Neural Network-based methods face privacy leakage risks due to the introduction of topological structures about the targets, which allows attackers to bypass the target's pri…