Long and Diverse Text Generation with Planning-based Hierarchical Variational Model. - Zhihong Shao; Minlie Huang; Jiangtao Wen; Wenfei Xu; Xiaoyan Zhu 001 (EMNLP/IJCNLP (1), 2019)

CoTK: An Open-Source Toolkit for Fast Development and Fair Evaluation of Text Generation. - Fei Huang 005; Dazhen Wan; Zhihong Shao; Pei Ke; Jian Guan 002; Yilin Niu; Xiaoyan Zhu 001; Minlie Huang (CoRR, 2020)

AdvExpander: Generating Natural Language Adversarial Examples by Expanding Text. - Zhihong Shao; Zitao Liu 001; Jiyong Zhang; Zhongqin Wu; Minlie Huang (CoRR, 2020)

A Mutual Information Maximization Approach for the Spurious Solution Problem in Weakly Supervised Question Answering. - Zhihong Shao; Lifeng Shang; Qun Liu 001; Minlie Huang (ACL/IJCNLP (1), 2021)

Tackling Multi-Answer Open-Domain Questions via a Recall-then-Verify Framework. - Zhihong Shao; Minlie Huang (CoRR, 2021)

Answering Open-Domain Multi-Answer Questions via a Recall-then-Verify Framework. - Zhihong Shao; Minlie Huang (ACL (1), 2022)

Chaining Simultaneous Thoughts for Numerical Reasoning. - Zhihong Shao; Fei Huang 005; Minlie Huang (EMNLP (Findings), 2022)

AdvExpander: Generating Natural Language Adversarial Examples by Expanding Text. - Zhihong Shao; Zhongqin Wu; Minlie Huang (IEEE ACM Trans. Audio Speech Lang. Process., 2022)

Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy. - Zhihong Shao; Yeyun Gong; Yelong Shen; Minlie Huang; Nan Duan; Weizhu Chen (EMNLP (Findings), 2023)

Synthetic Prompting: Generating Chain-of-Thought Demonstrations for Large Language Models. - Zhihong Shao; Yeyun Gong; Yelong Shen; Minlie Huang; Nan Duan; Weizhu Chen (ICML, 2023)

Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations. - Peiyi Wang; Lei Li 039; Zhihong Shao; R. X. Xu; Damai Dai; Yifei Li 005; Deli Chen; Y. Wu; Zhifang Sui (CoRR, 2023)

Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations. - Peiyi Wang; Lei Li 039; Zhihong Shao; Runxin Xu; Damai Dai; Yifei Li 005; Deli Chen; Yu Wu; Zhifang Sui (ACL (1), 2024)

Learning Task Decomposition to Assist Humans in Competitive Programming. - Jiaxin Wen; Ruiqi Zhong; Pei Ke; Zhihong Shao; Hongning Wang; Minlie Huang (ACL (1), 2024)

CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing. - Zhibin Gou; Zhihong Shao; Yeyun Gong; Yelong Shen; Yujiu Yang; Nan Duan; Weizhu Chen (ICLR, 2024)

ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving. - Zhibin Gou; Zhihong Shao; Yeyun Gong; Yelong Shen; Yujiu Yang; Minlie Huang; Nan Duan; Weizhu Chen (ICLR, 2024)

DeepSeek LLM: Scaling Open-Source Language Models with Longtermism. - Xiao Bi; Deli Chen; Guanting Chen 002; Shanhuang Chen; Damai Dai; Chengqi Deng; Honghui Ding; Kai Dong 003; Qiushi Du; Zhe Fu; Huazuo Gao; Kaige Gao; et al. (CoRR, 2024)

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models. - Zhihong Shao; Peiyi Wang; Qihao Zhu; Runxin Xu; Junxiao Song; Mingchuan Zhang; Y. K. Li; Y. Wu; Daya Guo (CoRR, 2024)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data. - Huajian Xin; Daya Guo; Zhihong Shao; Zhizhou Ren; Qihao Zhu; Bo Liu 039; Chong Ruan; Wenda Li; Xiaodan Liang (CoRR, 2024)

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence. - DeepSeek-AI; Qihao Zhu; Daya Guo; Zhihong Shao; Dejian Yang; Peiyi Wang; Runxin Xu; Y. Wu; Yukun Li; Huazuo Gao; Shirong Ma; Wangding Zeng; et al. (CoRR, 2024)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. - Huajian Xin; Z. Z. Ren; Junxiao Song; Zhihong Shao; Wanjia Zhao; Haocheng Wang; Bo Liu 039; Liyue Zhang; Xuan Lu; Qiushi Du; Wenjun Gao; Qihao Zhu; et al. (CoRR, 2024)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. - Huajian Xin; Z. Z. Ren; Junxiao Song; Zhihong Shao; Wanjia Zhao; Haocheng Wang; Bo Liu; Liyue Zhang; Xuan Lu; Qiushi Du; Wenjun Gao; Haowei Zhang; et al. (ICLR, 2025)

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning. - DeepSeek-AI; Daya Guo; Dejian Yang; Haowei Zhang; Junxiao Song; Ruoyu Zhang; Runxin Xu; Qihao Zhu; Shirong Ma; Peiyi Wang; Xiao Bi; Xiaokang Zhang; et al. (CoRR, 2025)

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. - Z. Z. Ren; Zhihong Shao; Junxiao Song; Huajian Xin; Haocheng Wang; Wanjia Zhao; Liyue Zhang; Zhe Fu; Qihao Zhu; Dejian Yang; Z. F. Wu; Zhibin Gou; et al. (CoRR, 2025)