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
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
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.