الباحثون

Hao Zhu

المنشورات 2

نسخة أولية وصول مفتوح

Distilling Graph Geometry: Knowledge Gap from GNNs to MLPs

Zhewei Chen, Hao Zhu, Jiaojiao Jiang وآخرون · 2026

GNN-to-MLP distillation aims to retain the predictive accuracy of a message-passing teacher while deploying a graph-free MLP at inference. Existing methods mainly transfer node-wise predictions or use confidence-based reweighting, but they do not specify where the student should preserve the teacher's graph-induced geo …

نسخة أولية وصول مفتوح

Self-Spec Verifiable Code Generation

Jiaru Qian, Yihong Dong, Yongmin Li وآخرون · 2026

Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable guarantees. Recently, researchers have proposed several benchmarks to evaluate the capabilities of LLMs in generating formally verifiable code, where LLMs need to formulat …

المؤلفون المشاركون