Lun Du (杜仑)
Scholar

Lun Du (杜仑)

Google Scholar ID: 3XUANDAAAAAJ
Ant Research
Graph LearningMachine LearningAutomatic Formal Theorem Proving
Google Scholar↗
Citations & Impact
All-time
Citations
2,682
 
H-index
28
 
i10-index
52
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
12 total
Shi Han
Shi Han
Microsoft Research Asia
Dongmei Zhang
Dongmei Zhang
Microsoft Research
Guojie Song
Guojie Song
Professor (Research), Tenured of Peking University
Qiang Fu
Qiang Fu
Microsoft
Jiayan Guo
Jiayan Guo
Alibaba DAMO Academy, Peking University
Co-author 6
Co-author 6
Da Zheng
Da Zheng
Amazon
Chen Huajun (陈华钧), Professor, PhD
Chen Huajun (陈华钧), Professor, PhD
College of Computer Science, Zhejiang University