Scholar
Gong Zhang
Google Scholar ID: xmw0OWQAAAAJ
Chief Architect
distributed system
machine learning
data center network
wireless network
IoT
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,632
H-index
27
i10-index
45
Publications
20
Co-authors
0
Publications
2 items
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
2026
Cited
0
M2F: Automated Formalization of Mathematical Literature at Scale
2026
Cited
0
