LLMpeople

Home People Organizations Reports Fields Schools

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

Atlas / People / Detail

Zheren Fan

Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.

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 completeness35%

Public sources1

Official sources1

CountryUnknown

Last reviewedMar 13, 2026

Review outcomeUpdated

Scholar profile

updated Unknown location 1 public sources

Latest review note

Cleanup pass A upgraded this record with a public DBLP author page listing DeepSeek-Prover-V2.

Public links

dblp DBLP author page

Organizations

core DeepSeek

Reports

Mathematical Reasoning Models DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning and Monte-Carlo Tree Search with Proof Assistant Feedback

Official and primary sources

https://dblp.org/search/author?q=author%3AZheren+Fan%3A Official source · dblp

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