Haocheng Wang
- Papers
- 5
Cite
Notes
Only stored in your browser.
5papers
Authored papers
5DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
preprint
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
arXiv 2025
Cognitive Foundations for Reasoning and Their Manifestation in LLMs
arXiv 2025
DeepSeek-V3 Technical Report
arXiv 2024
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
arXiv 2024
Affiliations
No known affiliations.
Frequent co-authors
10from 5 papers