Wu, Z. F.

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

Sustainable thermal energy harvest for generating electricity

Zhang, S., Liu, Z., Zhang, X., Wu, Z., & Hu, Z. (2024) · The Innovation

Thermal Radiation and Cooling TechnologiesAdvanced Thermoelectric Materials and Devices

Cited by 51

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