Zheng Yuan
Researcher, 字节跳动
中国 上海市
Researcher @ Bytedance Seed, Formal Math Reasoning
- LinkedIn: https://www.linkedin.com/in/zheng-yuan-4b3147184
- Google Scholar: https://scholar.google.com/citations?user=kRgiVnUAAAAJ&hl=zh-CN&oi=ao
- GitHub: https://github.com/GanjinZero
- X: https://x.com/GanjinZero