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