Zihao Zhou
Scholar

Zihao Zhou

Google Scholar ID: 4P9trp4AAAAJ
University of Liverpool
AI4MathLarge Language ModelNatural Language Processing
Citations & Impact
All-time
Citations
114
 
H-index
4
 
i10-index
3
 
Publications
7
 
Co-authors
6
list available
Resume (English only)
Academic Achievements
  • Published at NeurIPS 2025: 'Can MLLMs Absorb Math Reasoning Abilities from LLMs as Free Lunch?'
  • Published at ICLR 2025: 'Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist'
  • Published at AAAI 2025: 'GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs' (Oral Presentation, Top 5%)
  • Published at AAAI 2024: 'MathAttack: Attacking Large Language Models Towards Math Solving Ability'
  • Published at ACL 2023 Findings: 'Learning by Analogy: Diverse Questions Generation in Math Word Problem'
  • Published at NLPCC 2023: 'Solving Math Word Problem with Problem Type Classification' (2nd place in Shared Task 3)
  • Multiple preprints including F1-Reasoner and GeoSDF
Research Experience
  • Collaborating with Wenda Li and Meng Fan on informal proving
  • Working on multiple projects related to evaluating and improving mathematical reasoning in LLMs
  • Developed F1-Reasoner, a framework for synthesizing verifiable reasoning data from formal math statements
  • Proposed IP-Merging, a cross-modal model merging approach to transfer math reasoning from LLMs to MLLMs
  • Built GeoSDF, an SDF-based tool for synthesizing plane geometry diagrams and verifiable signals
  • Created MathCheck, a comprehensive evaluation framework for mathematical reasoning and robustness
  • Developed GNS, a neural-symbolic reasoning system for multi-task plane geometry problem solving