Haocheng Wang
- DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
DeepSeek-R1 shows an LLM can learn strong step-by-step reasoning from pure reinforcement learning, with no human-labeled reasoning examples.
2025/01/22 by DeepSeek-AI, Daya Guo, Guo, Daya +404 · 93 voices · 2677 citations
Computer Science · #Reinforcement Learning in Robotics #Data Stream Mining Techniques #Explainable Artificial Intelligence (XAI)
- DeepSeek-V3 Technical Report
2024/12/27 by DeepSeek-AI, Aixin Liu, Bei Feng +404 · 39 voices · 7 citations
Computer Science · Engineering · #Distributed and Parallel Computing Systems #Robotics and Automated Systems #cs.AI #cs.CL
- DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
2024/08/15 by Huajian Xin, Z. Z. Ren, Xin, Huajian +32 · 2 voices · 77 citations
Computer Science · #Reinforcement Learning in Robotics #cs.AI #cs.CL #cs.LG #cs.LO
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
2025/04/30 by Z. Z. Ren, Ren, Z. Z., Zhihong Shao +34 · 4 voices · 102 citations
Computer Science · #Logic, programming, and type systems #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL
- Solving Formal Math Problems by Decomposition and Iterative Reflection
2025/07/21 by Yichi Zhou, Zhou, Yichi, Jianqiu Zhao +31 · 14 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Model-Driven Software Engineering Techniques
- Agents' Last Exam
2026/06/03 by Yiyou Sun, Xinyang Han, Weichen Zhang +306 · 4 voices
#cs.AI #cs.CL #cs.LG
- Cognitive Foundations for Reasoning and Their Manifestation in LLMs
2025/11/20 by Priyanka Kargupta, Shuyue Stella Li, Kargupta, Priyanka +23 · 1 voice · 3 citations
Computer Science · #Explainable Artificial Intelligence (XAI) #Multimodal Machine Learning Applications #Topic Modeling #cs.AI