Alibaba
DeepSeek
Yonghui WuResearcher
ByteDance
Head of Research (ByteDance Seed)
via ByteDance
Researcher · Academic
Huajian Xin
HX
PhD student, Artificial Intelligence at University of EdinburghStudent Researcher, Seed Team at ByteDance
Xin develops AI systems that produce proofs which can be checked mechanically rather than merely sounding plausible. He contributed to DeepSeek-Prover and Seed-Prover, whose formal reasoning reached silver-medal-level performance on the 2025 International Mathematical Olympiad.
See something inaccurate or outdated?
Background
Current roles
PhD student, Artificial IntelligenceUniversity of Edinburgh
University of EdinburghStudent Researcher, Seed Team Jan 2025-presentByteDance
ByteDancePreviously
Education
About this data
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 9, 2026Citation Trend
2 snapshots17,609citations as of Jun 15, '26+11,876 since Aug 25, '25
For today’s citation count and citations per paper, visit Google Scholar.