Haocheng Wang
Scientific Assistant at ETH Zürich
Shanghai, Shanghai, China
Summary
🤩
Rockstar🎓
Top SchoolHaocheng Wang is a scientific assistant at ETH Zürich specializing in large language models for mathematical reasoning, with two years of hands-on research experience. He has driven projects on formal math proving and autoformalization at ByteDance Seed and DeepSeek AI, bridging academic rigor with applied LLM engineering. His background includes math instruction and product-facing roles, giving him a rare combination of pedagogical clarity and product sensibility. Based in Shanghai and educated at Xiamen University, he moves comfortably between research code and practical system integration. Notably, he has contributed to seed-stage LLM efforts focused on formalization—work that often requires crafting datasets and model pipelines tailored to symbolic, proof-oriented tasks.
2 years of coding experience
1 year of employment as a software developer
厦门大学
Github Skills (6)
mathematics10
in-progress10
computer-algebra-system9
computer-algebra9
theorem-proving9
math8
Programming languages (1)
Github contributions (5)
hcWang942/gametheory-blueprint
Apr 2024 - Mar 2025
Contributions:23 pushes, 2 branches in 10 months
hcWang942/coxeter
Apr 2024 - Apr 2024
Contributions:12 pushes in 13 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.