Shao, Zhihong

DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning

Guo, D., Yang, D., Zhang, H., Song, J., Wang, P., Zhu, Q., Xu, R., Zhang, R., Ma, S., Bi, X., et al. (2025) · Nature

Topic ModelingNatural Language Processing Techniques

Cited by 1,701

CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing

Gou, Z., Shao, Z., Gong, Y., Shen, Y., Yang, Y., Duan, N., & Chen, W. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 561

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

DeepSeek-AI, Guo, D., Yang, D., Zhang, H., Song, J., Wang, P., Zhu, Q., Xu, R., Zhang, R., Ma, S., et al. (2025) · arXiv

Software Engineering ResearchWeb Application Security Vulnerabilities

Cited by 538

DeepSeek-V3 Technical Report

DeepSeek-AI, Liu, A., Feng, B., Xue, B., Wang, B., Wu, B., Lu, C., Zhao, C., Deng, C., Zhang, C., et al. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 294

Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy

Shao, Z., Gong, Y., Shen, Y., Huang, M., Duan, N., & Chen, W. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023

Topic ModelingInformation Retrieval and Search Behavior

Cited by 200

Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy

Shao, Z., Gong, Y., Shen, Y., Huang, M., Duan, N., & Chen, W. (2023) · arXiv

Topic ModelingInformation Retrieval and Search Behavior

Cited by 200

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Shao, Z., Wang, P., Zhu, Q., Xu, R., Song, J., Bi, X., Zhang, H., Zhang, M., Li, Y. K., Wu, Y., et al. (2024) · arXiv

Reinforcement Learning in RoboticsAI-based Problem Solving and Planning

Cited by 101

DeepSeek LLM: Scaling Open-Source Language Models with Longtermism

DeepSeek-AI, :, Bi, X., Chen, D., Chen, G., Chen, S., Dai, D., Deng, C., Ding, H., Dong, K., et al. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 99

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

DeepSeek-AI, Zhu, Q., Guo, D., Shao, Z., Yang, D., Wang, P., Xu, R., Wu, Y., Li, Y., Gao, H., et al. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 51

DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models

DeepSeek-AI, Liu, A., Mei, A., Lin, B., Xue, B., Wang, B., Xu, B., Wu, B., Zhang, B., Lin, C., et al. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 19

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Xin, H., Guo, D., Shao, Z., Ren, Z., Zhu, Q., Liu, B., Ruan, C., Li, W., & Liang, X. (2024) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 8

Answering Open-Domain Multi-Answer Questions via a Recall-then-Verify Framework

Shao, Z., & Huang, M. (2022) · Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Topic ModelingInformation Retrieval and Search Behavior

Cited by 6

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Ren, Z. Z., Shao, Z., Song, J., Xin, H., Wang, H., Zhao, W., Zhang, L., Fu, Z., Zhu, Q., Yang, D., et al. (2025) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 4

DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence

DeepSeek-AI, Xu, A., Lin, B., Xue, B., Wang, B., Xu, B., Wu, B., Zhang, B., Lin, C., Dong, C., et al. (2026) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 4

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Xin, H., Ren, Z. Z., Song, J., Shao, Z., Zhao, W., Wang, H., Liu, B., Zhang, L., Lu, X., Du, Q., et al. (2024) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 4

Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations

Wang, P., Li, L., Shao, Z., Xu, R. X., Dai, D., Li, Y., Chen, D., Wu, Y., & Sui, Z. (2023) · arXiv

Topic ModelingMathematics, Computing, and Information Processing

Cited by 3