I am a junior 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 and intern at the Yale NLP lab.

I am active on both the methodology and application fronts. My explorations have spanned AI for formal reasoning, reinforcement learning, optimization theory and agent system. Feel free to contact me if you are interested in my work. I am planning to apply for 2028‑Fall PhD positions.

🔥 News

  • 2026.04:  🎉🎉 Excited to have one paper accepted at ICML 2026! See you in Seoul!
  • 2026.02:  🎉🎉 Excited to have one paper accepted at CVPR 2026!
  • 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

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

Ruoran Xu*, Wending Gao*, Xiaoqiang Kang, Qiufeng Wang

Under Review

[Paper] [Code]

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

[Paper] [Code]

omni-Geo

Omni-Geo: Neuro-Symbolic Architecture for Geometry Reasoning

Ruoran Xu, Wending Gao, Haoyu Cheng, Xiaoqiang Kang, 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

Under Review

🚧 Projects

sym

MathRA

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

📝

  • HCI
sym

ViaLean

Proof‑search engine in Lean, customized for post‑training and test‑time training.

📝