Scholar
Lun Du (杜仑)
Google Scholar ID: 3XUANDAAAAAJ
Ant Research
Graph Learning
Machine Learning
Automatic Formal Theorem Proving
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,682
H-index
28
i10-index
52
Publications
20
Co-authors
12
list available
Co-authors
11 total
Shi Han
Microsoft Research Asia
Dongmei Zhang
Microsoft Research
Guojie Song
Professor (Research), Tenured of Peking University
Qiang Fu
Microsoft
Jiayan Guo
Alibaba DAMO Academy, Peking University
Da Zheng
Amazon
Chen Huajun (陈华钧), Professor, PhD
College of Computer Science, Zhejiang University
Ningyu Zhang (张宁豫)
Associate Professor, Zhejiang University
