Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ruoran Xu
Observed name:
Xu, Ruoran
Institutions:
Yale University,
Xi’an Jiaotong-Liverpool University
Observed institutions:
Yale University,
Xi’an Jiaotong-Liverpool University
OpenAlex ID:
A5136458954
PhysElite: How Far Are LLMs from Solving Olympiad-Level Physics Problems?
2026
·
Xu, Ruoran
, Gao, Wending
, et al.
·
arXiv (Cornell University)
·
1
PDF
FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation
2026
·
Xu, Ruoran
, Gao, Wending
, et al.
·
arXiv (Cornell University)
·
1
PDF
OC-OPD: Observation-coordinated Supervision for On-Policy Distillation
2026
·
Xu, Ruoran
, Zhao, Yilun
, et al.
·
arXiv (Cornell University)
PDF
Better Answers, Weaker Evidence Control: Evidence Bypass in On-Policy Distillation
2026
·
Xu, Ruoran
, Zhao, Yilun
, et al.
·
arXiv (Cornell University)
PDF
Dense Neuro-Symbolic Reasoning in a Unified Geometry State
2026
·
Xu, Ruoran
, Gao, Wending
, et al.
·
arXiv (Cornell University)
PDF
Symbolic Search Is Not Exhausted: Persistent Proof-Space Exploration in Lean4
2026
·
Xu, Ruoran
·
arXiv (Cornell University)
PDF
Blog: Survey of Optimizers
2026
·
Xu, Ruoran
·
arXiv (Cornell University)
PDF
Singularity-aware Optimization via Randomized Geometric Probing: Towards Stable Non-smooth Optimization
2026
·
Xu, Ruoran
, She, Borong
, et al.
·
arXiv (Cornell University)
PDF
Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
2026
·
Xu, Ruoran
, Cheng, Haoyu
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
9
Citation count:
2
H-index:
1
I10-index:
Year
Topic
Type