Home People Organizations Reports Fields Schools

Public Atlas People first, reports as evidence, organizations as context.

Atlas / People / Detail

Xinyu Zheng

PhD student at Tsinghua University working on formal theorem proving, machine learning, formal methods, and programming languages.

Researcher1 organizations1 reports

Profile status: updated

Suggest a correction

Suggest a source

Trust signals

Profile completeness58%

Public sources2

Official sources1

Last reviewedMar 12, 2026

Official homepage

updated 2 public sources

Public links

website Personal homepage github GitHub profile

Organizations

core DeepSeek

Reports

Mathematical Reasoning Models DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Official and primary sources

https://frankzheng2022.github.io/ Official source · homepage

Supporting sources

https://github.com/FrankZheng2022 Supporting source · github

LLMpeople is a public atlas for discovering frontier AI researchers with context, provenance, and respect.

Privacy · Terms