About

I am a first-year undergraduate student at the University of Liverpool, majoring in Applied Mathematics. Concurrently, I serve as a Research Assistant at PremiLab, supervised by Prof. Qiufeng Wang, where I work on formal mathematical problem-solving systems, agents, and multimodal reasoning of large language models. If you share similar research interests and would like to chat about research or collaboration, please feel free to reach out via email.

In recent months, I have been working on AI4Math, with a focus on strengthening the mathematical reasoning of language models through formal methods. By representing problems in formal languages, reasoning can be grounded in precise, verifiable structures rather than in ambiguous natural-language descriptions. In my spare time, I have begun exploring Mechanistic Interpretability. Compared with applying language models to practical problems, I find probing their internal features a far more fascinating pursuit, one that also helps us better improve their reasoning.

News

  • 2026.05I was supported by the Summer Undergraduate Research Fellowship (SURF) at XJTLU.
  • 2026.01I joined PremiLab as a research assistant.

Education

B.S. in Applied Mathematics University of Liverpool. GPA: 4.0 / 4.0.
2025.09 — Present

Publications

* denotes equal contribution.

Omni-Geo: Full-Domain Geometry with Multimodal Diagram Generation

Ruoran Xu*, Wending Gao*, Haoyu Cheng*, Chengrui Zhang, Maizhen Ning, Qiufeng Wang

Under review [paper] [code] [data] [bibtex]

PhysElite: How Far Are LLMs from Solving Olympiad-Level Physics Problems?

Ruoran Xu*, Wending Gao*, Liyunfeng Cheng*, Aixin Shi*, Haoyu Cheng*, Zixiang Fang, Yiqiang Zou, Qiufeng Wang

Under review [paper] [code] [data] [bibtex]

FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation

Ruoran Xu*, Wending Gao*, Qiufeng Wang

Under review [paper] [code] [data] [bibtex]

Projects

MAB-MCTS Architecture for Neuro-Symbolic Geometry Reasoning

Activities

Mathematical Contest in Modeling (MCM) Honorable Mention.
2026
Lecturer — Academic Department, Mathematics Club Organized and delivered multiple large-scale lectures on mathematics topics.
 

Contact

I am looking for research internships and visiting-student opportunities. If you are interested in my research topics, please feel free to contact me for further discussion.

Email(loading)
GitHubgithub.com/wendinggao
LocationSuzhou, China