Ruoran Xu

Ruoran Xu

I am a second-year undergraduate student at Xi’an Jiaotong-Liverpool University, majoring in Applied Mathematics, and I am expected to complete my BSc degree at the University of Liverpool in 2028. Concurrently, I serve as a Research Assistant at PremiLab, collaborating with Prof. Qiufeng Wang. I will visit Yale for several months in the summer to collaborate with Prof. Arman Cohan and Yilun Zhao. Feel free to contact me if you are interested in my work. I’m willing to discuss with people from different backgrounds.

My goal is to develop robust and resilient intelligent systems with sampling-based representations and continuous reasoning capabilities, and to control the capability boundaries of its performance. I am active on both the methodology and application fronts. My explorations have spanned AI for formal reasoning, reinforcement learning, optimization theory, agent system, and AI for scientific discovery.

🔥 News

  • 2026.04:  🎉🎉 Excited to have one paper accepted at ICML 2026!
  • 2026.02:  🎉🎉 Excited to have one paper accepted at CVPR 2026!
  • 2025.06:  🎉🎉 I was supported by the Summer Undergraduate Research Fellowship(SURF) at XJTLU to study LLM for math reasoning.
  • 2025.03:  🎉🎉 I will serve as the Head of the Academic Department for the Math Club and Physics Club at XJTLU.
  • 2025.02:  🎉🎉 I joined PremiLab as a research assistant.
  • 2024.12:  🎉🎉 I translated a textbook: Method in contemporary mathematical physics. Here is a part of the first draft.

📝 Publications

CVPR 2026
sym

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

Ruoran Xu, Haoyu Cheng, Bin Dong, Qiufeng Wang

Computer Vision and Pattern Recognition (CVPR) 2026

[Paper] [Code]

ICML 2026
sym

Singularity-aware Optimization via Randomized Geometric Probing: Towards Stable Non-smooth Optimization

Ruoran Xu, Borong She, Xiaobo Jin, Qiufeng Wang

International Conference on Machine Learning (ICML) 2026

[Paper] [Code]

sym

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

Ruoran Xu*, Wending Gao*, Haoyu Cheng*, Qiufeng Wang

Under Review

sym

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

Ruoran Xu*, Wending Gao*, Qiufeng Wang

Under Review

sym

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

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

Under Review

Latent Memory Adapters

Latent Memory Adapters: Compiling Documents into Activation-Space Values for Long Document Question Answering

Ruoran Xu, Yilun Zhao, Songting Yu, Siyue Zhang, Tianyu Yang, Arman Cohan

Submission to ACL ARR

🚧 Open Projects

sym

MathRA

Facilitate both formal and informal verification of papers and vibe researching.

📝

  • HCI

📖 Educations

  • 2024.09 - 2028.06 (Expected), University of Liverpool, BSc. Applied Mathematics • GPA: 3.83/4.00