Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Ruoran Xu
RowanXu06
5
11
Follow
0 followers
·
3 following
https://ruoranxu.github.io/
X_Ruoran
RuoranXu
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
8 days ago
RubricARM
upvoted
a
paper
13 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
liked
a dataset
21 days ago
HAGeo-IMO/HAGeo-409
View all activity
Organizations
None yet
RowanXu06
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
21 days ago
HAGeo-IMO/HAGeo-409
Viewer
•
Updated
Feb 2
•
409
•
160
•
1
liked
a dataset
2 months ago
ShadenA/MathNet
Viewer
•
Updated
Jun 16
•
55.6k
•
37.3k
•
94
liked
a dataset
3 months ago
PeijieWang/GDP29K
Viewer
•
Updated
Apr 24
•
28.9k
•
53
•
2
liked
a dataset
4 months ago
xiaowu0162/longmemeval-cleaned
Updated
Sep 19, 2025
•
15.8k
•
29
liked
a Space
5 months ago
Running
Agents
23
OpenReviewer
📚
23
Generate Paper Reviews
liked
3 datasets
6 months ago
menik1126/PhyX-AF
Viewer
•
Updated
Feb 21
•
256
•
48
•
5
Goedel-LM/SFT_dataset_v2
Viewer
•
Updated
Mar 2
•
1.75M
•
568
•
31
uw-math-ai/APRIL
Preview
•
Updated
Feb 27
•
264
•
10
liked
3 models
7 months ago
Goedel-LM/Goedel-Prover-V2-8B
Text Generation
•
8B
•
Updated
Aug 9, 2025
•
10.7k
•
•
27
Goedel-LM/Goedel-Prover-V2-32B
Text Generation
•
33B
•
Updated
Aug 27, 2025
•
90.5k
•
•
73
Goedel-LM/Goedel-Formalizer-V2-8B
8B
•
Updated
Jul 20, 2025
•
239
•
6