Alibaba
DeepSeek
Sun Yat-sen University
University of Edinburgh
Wenhao HuangResearch Manager · ByteDanceResearcher↗
Researcher · Academic
Huajian Xin
ByteDanceResearch Engineer
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.
Career & education
Current roleByteDanceMar 2026-presentResearch Engineer
ByteDanceMar 2026-presentPreviously
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations23,785As of Oct 25, '26
citations+6,176Since last snapshot, Jun 15, '26
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 9, 2026 · Checked for accuracy and new information.