| 2025 | ICLR | 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, Qihao Zhu, Dejian Yang, Zhibin Gou, Z. F. Wu, Fuli Luo, Chong Ruan |
| 2024 | ACL | Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations. | Peiyi Wang, Lei Li, Zhihong Shao, Runxin Xu, Damai Dai, Yifei Li, Deli Chen, Yu Wu, Zhifang Sui |
| 2024 | ACL | Learning Task Decomposition to Assist Humans in Competitive Programming. | Jiaxin Wen, Ruiqi Zhong, Pei Ke, Zhihong Shao, Hongning Wang, Minlie Huang |
| 2024 | ICLR | 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 |
| 2024 | ICLR | 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 |
| 2023 | EMNLP | Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy. | Zhihong Shao, Yeyun Gong, Yelong Shen, Minlie Huang, Nan Duan, Weizhu Chen |
| 2023 | ICML | Synthetic Prompting: Generating Chain-of-Thought Demonstrations for Large Language Models. | Zhihong Shao, Yeyun Gong, Yelong Shen, Minlie Huang, Nan Duan, Weizhu Chen |
| 2022 | ACL | Answering Open-Domain Multi-Answer Questions via a Recall-then-Verify Framework. | Zhihong Shao, Minlie Huang |
| 2022 | EMNLP | Chaining Simultaneous Thoughts for Numerical Reasoning. | Zhihong Shao, Fei Huang, Minlie Huang |
| 2021 | ACL | A Mutual Information Maximization Approach for the Spurious Solution Problem in Weakly Supervised Question Answering. | Zhihong Shao, Lifeng Shang, Qun Liu, Minlie Huang |
| 2019 | EMNLP | Long and Diverse Text Generation with Planning-based Hierarchical Variational Model. | Zhihong Shao, Minlie Huang, Jiangtao Wen, Wenfei Xu, Xiaoyan Zhu |