Atlas / Reports / Detail
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Reasoning and Math Models report from DeepSeek with 9 connected researchers in the LLMpeople atlas.
Connected researchers
Researcher
3 reports
Huajian Xin
DeepSeek
Research scientist at DeepSeek AI working on reinforcement learning from verifiable rewards, reasoning models, and AI agents.
Researcher
13 reports
Daya Guo
DeepSeek / Moonshot AI
AI researcher at DeepSeek working on natural language processing, code intelligence, and large language model reasoning.
Researcher
5 reports
Zhihong Shao
DeepSeek
Research scientist at DeepSeek AI working on multimodal large language models and end-to-end autonomous driving. Earned a PhD in computer science from the Chinese University of Hong Kong.
Researcher
10 reports
Qihao Zhu
DeepSeek
Research scientist focused on foundation models and multimodal large language models; his homepage notes earlier work at DeepSeek AI and current research at the University of Southern California.
Researcher
3 reports
Bo Liu
DeepSeek
Researcher affiliated with DeepSeek on Google Scholar and coauthor of the DeepSeek LLM and DeepSeek-V2 technical reports.
Researcher
6 reports
Chong Ruan
DeepSeek
Researcher at DeepSeek and former master's student in EECS at Peking University. Public profiles list work on LLMs, multimodal systems, transformers, BERT, and machine translation.