Zhenwen Liang (梁振文)  

Selected Publications

• CLUE: Non-parametric Verification from Experience via Hidden-State Clustering
  Zhenwen Liang, Ruosen Li, Yujun Zhou, Linfeng Song, Dian Yu, Xinya Du, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
  Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu
  NeurIPS 2025. [Paper]

• Evolving Language Models without Labels: Majority Drives Selection, Novelty Promotes Variation
  Yujun Zhou, Zhenwen Liang (Corresponding), Haolin Liu, Wenhao Yu, Kishan Panaganti, Linfeng Song, Dian Yu, Xiangliang Zhang, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
  Mukai Li, Linfeng Song, Zhenwen Liang, Jiahao Xu, Shansan Gong, Qi Liu, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Models
  Runpeng Dai, Linfeng Song, Haolin Liu, Zhenwen Liang, Dian Yu, Haitao Mi, Zhaopeng Tu, Rui Liu, Tong Zheng, Hongtu Zhu, Dong Yu
  Arxiv Preprint. [Paper]

• Self-Rewarding Vision-Language Model via Reasoning Decomposition
  Zongxia Li, Wenhao Yu, Chengsong Huang, Rui Liu, Zhenwen Liang, Fuxiao Liu, Jingxi Che, Dian Yu, Jordan Boyd-Graber, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
  Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
  Ziyin Zhang, Jiahao Xu, Zhiwei He, Tian Liang, Qiuzhi Liu, Yansi Li, Linfeng Song, Zhenwen Liang, Zhuosheng Zhang, Rui Wang, Zhaopeng Tu, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• Deepmath-103k: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
  Zhiwei He, Tian Liang, Jiahao Xu, Qiuzhi Liu, Xingyu Chen, Yue Wang, Linfeng Song, Dian Yu, Zhenwen Liang, Wenxuan Wang, Zhuosheng Zhang, Rui Wang, Zhaopeng Tu, Haitao Mi, Dong Yu
  Arxiv Preprint. [Paper]

• Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
  Yujun Zhou, Jiayi Ye, Zipeng Ling, Yufei Han, Yue Huang, Haomin Zhuang, Zhenwen Liang, Kehan Guo, Taicheng Guo, Xiangqi Wang, Xiangliang Zhang
  Arxiv Preprint. [Paper]

• Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification
  Zhenwen Liang, Ye Liu, Tong Niu, Xiangliang Zhang, Yingbo Zhou, Semih Yavuz
  Arxiv Preprint. [Paper]

• MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Interactions
  Zhenwen Liang, Dian Yu, Wenhao Yu, Wenlin Yao, Zhihan Zhang, Xiangliang Zhang, Dong Yu
  Arxiv Preprint. [Paper]

• SceMQA: A Scientific College Entrance Level Multimodal Question Answering Benchmark
  Zhenwen Liang, Kehan Guo, Gang Liu, Taicheng Guo, Yujun Zhou, Tianyu Yang, Jiajun Jiao, Renjie Pi, Jipeng Zhang, Xiangliang Zhang
  ACL 2024. [Paper, Code]

• MinT: Boosting Generalization in Mathematical Reasoning via Multi-View Fine-Tuning
  Zhenwen Liang, Dian Yu, Xiaoman Pan, Wenlin Yao, Qingkai Zeng, Xiangliang Zhang, Dong Yu
  LREC-COLING 2024. [Paper]

• Defending Jailbreak Prompts via In-Context Adversarial Game
  Yujun Zhou, Yufei Han, Haomin Zhuang, Taicheng Guo, Kehan Guo, Zhenwen Liang, Hongyan Bao, Xiangliang Zhang
  EMNLP 2024. [Paper]

• Chain-of-Layer: Iteratively Prompting Large Language Models for Taxonomy Induction from Limited Examples
  Qingkai Zeng, Yuyang Bai, Zhaoxuan Tan, Shangbin Feng, Zhenwen Liang, Zhihan Zhang, Meng Jiang
  CIKM 2024. [Paper]

• Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation
  Zhenwen Liang, Wenhao Yu, Tanmay Rajpurohit, Peter Clark, Xiangliang Zhang, Ashwin Kaylan
  EMNLP 2023. [Paper, Code]

• UniMath: A Foundational and Multimodal Mathematical Reasoner
  Zhenwen Liang, Tianyu Yang, Jipeng Zhang, Xiangliang Zhang
  EMNLP 2023. [Paper, Code]

• Improving language models via plug-and-play retrieval feedback
  Wenhao Yu, Zhihan Zhang, Zhenwen Liang, Meng Jiang, Ashish Sabharwal
  Arxiv Preprint. [Paper]

• Don't be Blind to Questions: Question-Oriented Math Word Problem Solving
  Zhenwen Liang, Jipeng Zhang and Xiangliang Zhang.
  IJCNLP-AACL 2023

• What indeed can GPT models do in chemistry? A comprehensive benchmark on eight tasks
  Taicheng Guo, Kehan Guo, Bozhao nan, Zhenwen Liang, Zhichun Guo, Nitesh V. Chawla, Olaf Wiest, Xiangliang Zhang
  NeurIPS 2023 Dataset&Benchmark Track. [Paper]

• Compositional Mathematical Encoding for Math Word Problems
  Zhenwen Liang, Jipeng Zhang, Kehan Guo, Xiaodong Wu, Jie Shao, Xiangliang Zhang
  ACL 2023 - Findings

• Generalizing Math Word Problem Solvers via Solution Diversification
  Zhenwen Liang, Jipeng Zhang, Lei Wang, Yan Wang, Jie Shao, Xiangliang Zhang
  AAAI 2023 [Paper]

• Analogical Math Word Problems Solving with Enhanced Problem-Solution Association
  Zhenwen Liang, Jipeng Zhang and Xiangliang Zhang.
  EMNLP 2022 [Paper]

• MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
  Zhenwen Liang, Jipeng Zhang, Lei Wang, Wei Qin, Yunshi Lan, Jie Shao and Xiangliang Zhang.
  NAACL 2022 - Findings [Paper, Code]

• ArMATH: a Dataset for Solving Arabic Math Word Problems
  Reem Alghamdi, Zhenwen Liang and Xiangliang Zhang.
  LREC 2022 [Paper]

• Data-Efficient Language Shaped Few-shot Image Classification
  Zhenwen Liang and Xiangliang Zhang.
  EMNLP 2021 - Findings [Paper, Code]

• Explainable and Interpretable Anomaly Detection Models for Production Data
  Basma Alharbi, Zhenwen Liang, Jana M. Aljindan, Ammar K. Agnia and Xiangliang Zhang.
  SPE Journal

• Solving Math Word Problems with Teacher Supervision
  Zhenwen Liang and Xiangliang Zhang.
  IJCAI 2021​ (acceptance rate of 13.9%, 587/4204) [Paper, Code]

• Artificial intelligence: The silver bullet for sustainable materials development
  Rifan Hardian, Zhenwen Liang, Xiangliang Zhang, Gyorgy Szekely
  Green Chemistry (IF: 10.2), 2020

• Traffic sign detection and recognition based on pyramidal convolutional networks
  Zhenwen Liang, Jie Shao, Dongyang Zhang, Lianli Gao
  Neural Computing & Applications, 2020

• Jointly solving deblurring and super-resolution problems with dual supervised network
  Zhenwen Liang, Jie Shao, Dongyang Zhang
  ICME 2019