Yunzhou Xie

PhD student, Mathematics, Imperial College London

Joined

April 2025

Names

Yunzhou Xie (Preferred)

,

Edison Xie

Emails

****@ic.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student

Mathematics, Imperial College London (imperial.ac.uk)

2025 – 2029

Advisors, Relations & Conflicts

Coauthor

Present

Expertise

Formalising mathematics

,

pure maths

,

algebraic number theory

2023 – 2029

Publications

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Junqi Liu, Xiaohan Lin, Bolton Bailey, Jonas Bayer, Yaël Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Zekai Zhu, Jia LI, Zhengying Liu
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone

Co-Authors