LLMpeople

Home People Organizations Reports Fields Schools

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

Atlas / People / Detail

Renqi Xu

PhD student at Tsinghua University and visiting student at MIT, focused on theorem proving and formal verification in Lean.

Researcher1 organizations1 reports

Profile status: updated

Suggest a correction

Suggest a source

Contributions are treated as untrusted leads. Public changes happen only after review against public sources.

Trust signals

Profile completeness66%

Public sources3

Official sources2

CountryUnknown

Last reviewedMar 12, 2026

Review outcomeUpdated

Official homepage Scholar profile

updated Unknown location 3 public sources

Latest review note

Added verified homepage, GitHub, Google Scholar, and avatar; filled a short English bio from the public homepage.

Public links

website Personal homepage github GitHub profile google_scholar Google Scholar 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://renqixu.com/ Official source · homepage https://scholar.google.com/citations?user=uqIIfuUAAAAJ&hl=en Official source · scholar

Supporting sources

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

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