Xin, Huajian

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

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

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-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