Zihao Zhou

Zihao Zhou 周梓浩
Google Scholar / Github / Twitter
zihao.zhou@liverpool.ac.uk

Hi! I am a CS PhD student at University of Liverpool and Xi’an Jiaotong-liverpool University, beginning from 2022 Fall. Recently, I am working closely with Wenda Li and Meng Fan on informal mathematical proving.

My research interests mainly lie in:

• Large Language Models Reasoning: design Scalable&General methods to Evaluate\Improve the reasoning ability of foundation models, particularly in mathematical reasoning.
• Formal Verification–Assisted LLMs: leverag formal systems to enhance the reliability and interpretability of model reasoning.
• Real-World Applications of LRMs : utilize reasoning models to address real-world challenges and develop interesting applications.

Publications

• [Preprint] F1-Reasoner: Synthesizing Verifiable Reasoning Data From Formal Math Statements
  • Zihao Zhou, Wei Liu, Xinlong Fu, Kaizhu Huang, Xiaowei Huang, Meng Fan, Wenda Li, Qiufeng Wang
  • 🏁 We introduce F1-Reasoner, a framework for synthesizing high-quality verifiable reasoning data from formal mathematical statements. Both F1-Reasoner and its Mix version outperform baselines that rely on either synthetic data from artificial environments or human data.
    
    
• [NeurIPS 2025] Can MLLMs Absorb Math Reasoning Abilities from LLMs as Free Lunch? [paper]
  • Yijie Hu*, Zihao Zhou*, Kaizhu Huang, Xiaowei Huang, Qiufeng Wang
  • 👁️ We propose a cross-modal model merging approach IP-Merging, which can transform math reasoning ability from LLMs to MLLMs. Without training, we can achieve 4.8% improvement on MathVista by merging Qwen2-vl-instruct and Qwen2-Math-Base. In addition, we conduct detailed analyses in parameters selection and projection.
    
    
• [Preprint] GeoSDF: Plane Geometry Diagram Synthesis via Signed Distance Field. [paper]
  • Chengrui Zhang*, Maizhen Ning*, Zihao Zhou, Jie Sun, Kaizhu Huang, Qiufeng Wang
  • 📏 GeoSDF is an SDF-based tool that can synthesize plane geometry diagram and verifiable signal(like length, angle) by only offering formal relation description. It achieves 95.9% on GeoQA by synthesize-then-measure, highlighting its potential as a plane geometry environment.
    
    
• [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist. [website] [paper] [code]
  • Zihao Zhou*, Shudong Liu*, Maizhen Ning, Wei Liu, Jingdong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang
  • 🔍 MathCheck includes multiple mathematical reasoning tasks and robustness test types to facilitate a comprehensive evaluation of both mathematical reasoning ability and behavior testing.
    
    
• [AAAI 2025] GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs. [paper][code]
  • Maizhen Ning*, Zihao Zhou*, Qiufeng Wang, Xiaowei Huang, Kaizhu Huang
  • GNS is a neural-symbolic reasoning system simultaneously capable of multiple geometry reasoning tasks beyond solving. Training: multi-tasks SFT. Inference: combining knowledge prediction, geometry image parsing and tool calling.
  • Selected as Oral Presentation(Top 5%) 🎉.
    
    
• [AAAI 2024] MathAttack: Attacking Large Language Models Towards Math Solving Ability. [paper] [code]
  • Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang
  • Examining the robustness of LLMs in math reasoning ability by textual attack algorithm.
    
    
• [ACL 2023 Findings] Learning by Analogy: Diverse Questions Generation in Math Word Problem. [paper] [code]
  • Zihao Zhou*, Maizhen Ning*, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang and Kaizhu Huang
  • ✍️ A framework to generate diverse questions with labels for a given math word problems.
    
    
• [NLPCC 2023] Solving Math Word Problem with Problem Type Classification. [paper][code]
  • Jie Yao*, Zihao Zhou*, Qiufeng Wang
  • A problem type classifier to combine the abilities of LLM solver and traditional math solver.
  • 🎯 Ranked 2nd in NLPCC 2023 Share Task 3.
    
    
• [ICASSP 2021] Knowledge-Based Chat Detection with False Mention Discrimination. [paper]
  • Wei Liu, Peijie Huang, Dongzhu Liang, Zihao Zhou
  • A two-stage pipeline for chat detection 🗣️🤖.

Experience

• Tsinghua University, Visiting Student at KEG Lab, 2023.09 - 2024.03
• University of Liverpool, PhD Student, 2022.09 - Present
• South China Agricultural University, Bachelor, 2018.09 - 2022.06

Services

• Conference Reviewer: ICLR 24/25/26, ICML 24/25, NeurIPS 24, ACL ARR 23/24
• Journal Reviewer: TASLP, Neural Networks