Atlas / Reports / Detail
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Mathematical Reasoning Models report from DeepSeek with 8 connected researchers in the LLMpeople atlas.
Connected researchers
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.
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
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
6 reports
Runxin Xu
DeepSeek
Researcher at DeepSeek whose public homepage describes work on DeepSeek R1, V1, V2, V3, Math, Coder, and mixture-of-experts systems.
Researcher
8 reports
Y. Wu
DeepSeek
Yu Wu's public homepage says he is a technical staff member at DeepSeek AI who leads the LLM Alignment Team and works on writing, QA, AI search, reasoning, and safety.
Researcher
1 reports
Xinyu Zheng
DeepSeek
PhD student at Tsinghua University working on formal theorem proving, machine learning, formal methods, and programming languages.
Researcher
1 reports
Zhiyuan Gou
DeepSeek
Researcher working on theorem proving and reinforcement learning.
Researcher
1 reports
Renqi Xu
DeepSeek
PhD student at Tsinghua University and visiting student at MIT, focused on theorem proving and formal verification in Lean.