Zhang, Liyue

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