9 citations · 15 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
ReMath: Benchmarking Theorem Retrieval in Research-Level Mathematics
Zicheng Lyu, Wenjie Yang, Shengzhong Zhang +1
Large language models are increasingly capable at closed-world mathematical reasoning, but research assistance also requires source-grounded use of the literature. When a proof rea…
cs.LG2026
Rethinking Multi-Label Node Classification: Do Tuned Classic GNNs Suffice?
Yuxuan Xiao, Shengzhong Zhang
Multi-label node classification (MLNC) has recently been addressed by increasingly complex label-aware designs that explicitly model node-label interactions and inter-label depende…