Ruoran Xu

RowanXu06

·

https://ruoranxu.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a collection 6 days ago

upvoted a paper 10 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

liked a dataset 18 days ago

HAGeo-IMO/HAGeo-409

View all activity

Organizations

None yet

models 0

None public yet

datasets 1

RowanXu06/IMO26

Updated Jul 15 • 39