Atlas / Reports / Detail
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning and Monte-Carlo Tree Search with Proof Assistant Feedback
Mathematical Reasoning Models report from DeepSeek with 6 connected researchers in the LLMpeople atlas.
Connected researchers
Researcher
11 reports
Daya Guo
DeepSeek / Moonshot AI
DeepSeek researcher focused on NLP, code intelligence, and LLM reasoning, with public work spanning DeepSeek-Coder, DeepSeekMath, DeepSeek-V2, DeepSeek-V3, and DeepSeek-R1.
Researcher
8 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
1 reports
Bingxin Wang
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
Researcher
1 reports
Boxi Wu
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
Researcher
1 reports
Ruikang Yin
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
Researcher
1 reports
Zheren Fan
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.