Latest review note
Cleanup pass A: upgraded this record after finding a public OpenReview profile with confirmed DeepSeek affiliation and a linked Hugging Face account under the DeepSeek organization.
Atlas / People / Detail
DeepSeek researcher. Public OpenReview and Hugging Face profiles identify Z.Z. Ren with DeepSeek and list work on theorem proving and synthetic training data for reasoning models.
Profile status: updated
Cleanup pass A: upgraded this record after finding a public OpenReview profile with confirmed DeepSeek affiliation and a linked Hugging Face account under the DeepSeek organization.