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
DeepSeekUndated6 researchers
Connected researchers
Profile
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.
DeepSeekMoonshot AI
Unknown
11
Profile
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.
DeepSeek
Unknown
8
Profile
Reports
Bingxin Wang
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
DeepSeek
Unknown
1
Profile
Reports
Boxi Wu
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
DeepSeek
Unknown
1
Profile
Reports
Ruikang Yin
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
DeepSeek
Unknown
1
Profile
Reports
Zheren Fan
DeepSeek
Researcher working on formal reasoning and theorem-proving language models, including DeepSeek-Prover-V2.
DeepSeek
Unknown
1