Zhu, Qihao

DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence

Guo, D., Zhu, Q., Yang, D., Xie, Z., Dong, K., Zhang, W., Chen, G., Bi, X., Wu, Y., Li, Y. K., et al. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 180

Boosting coverage-based fault localization via graph-based representation learning

Lou, Y., Zhu, Q., Dong, J., Li, X., Sun, Z., Hao, D., Zhang, L., & Zhang, L. (2021) · Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 163

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

MDP and Machine Learning-Based Cost-Optimization of Dynamic Resource Allocation for Network Function Virtualization

Shi, R., Zhang, J., Chu, W., Bao, Q., Jin, X., Gong, C., Zhu, Q., Yu, C., & Rosenberg, S. (2015) · 2015 IEEE International Conference on Services Computing

Software-Defined Networks and 5GCloud Computing and Resource Management

Cited by 74

FIRA: fi ne-grained g ra ph-based code change representation for automated commit message generation

Dong, J., Lou, Y., Zhu, Q., Sun, Z., Li, Z., Zhang, W., & Hao, D. (2022) · Proceedings of the 44th International Conference on Software Engineering

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 61

Toward Artificial Empathy for Human-Centered Design: A Framework

Zhu, Q., & Luo, J. (2023) · Volume 3B: 49th Design Automation Conference (DAC)

Innovative Human-Technology InteractionDesign Education and Practice

Cited by 23

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