Scholar
Zihao Zhou
Google Scholar ID: 4P9trp4AAAAJ
University of Liverpool
AI4Math
Large Language Model
Natural Language Processing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
114
H-index
4
i10-index
3
Publications
7
Co-authors
6
list available
Contact
Twitter
Open ↗
GitHub
Open ↗
Publications
1 items
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
2026
Cited
2
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
Co-authors
6 total
Qiufeng Wang
INT, SAT, XJTLU
Kaizhu Huang
Professor, Duke Kunshan University
Xiaowei Huang
Professor of Computer Science, University of Liverpool
Maizhen Ning
PostDoc, Duke Kunshan University
Wei Liu
Hong Kong University of Science and Technology
Shudong Liu
University of Macau
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up