Find the people behind AI papers and projects.
/
Search public work, explore its connections, and check the sources. How coverage works
4,006 saved profiles
People connected to this repository in our saved records. This may not be the complete contributor list.
Search results
1–4 of 4
- Huajian XinAffiliation: ByteDanceWork: DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
- Qihao ZhuAffiliation: DeepSeek (DeepSeek-AI)Work: DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
- Yuxuan LiuAffiliation: DeepSeek-AIWork: DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
- Z. Z. RenAffiliation: Not recordedWork: DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition