Ruoran Xu

RowanXu06's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a collection 6 days ago

RubricARM

Collection

2 items • Updated Feb 1 • 1

upvoted a paper 11 days ago

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

Paper • 2608.14221 • Published 16 days ago • 8

liked a dataset 18 days ago

HAGeo-IMO/HAGeo-409

Viewer • Updated Feb 2 • 409 • 166 • 1

updated a dataset about 2 months ago

RowanXu06/IMO26

Updated Jul 15 • 39

published a dataset about 2 months ago

RowanXu06/IMO26

Updated Jul 15 • 39

liked a dataset 2 months ago

ShadenA/MathNet

Viewer • Updated Jun 16 • 55.6k • 36.9k • 94

liked a dataset 3 months ago

PeijieWang/GDP29K

Viewer • Updated Apr 24 • 28.9k • 60 • 2

upvoted a paper 4 months ago

Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems

Paper • 2605.04018 • Published May 5 • 41

liked a dataset 4 months ago

xiaowu0162/longmemeval-cleaned

Updated Sep 19, 2025 • 15.4k • 29

upvoted a paper 4 months ago

HiPhO: How Far Are (M)LLMs from Humans in the Latest High School Physics Olympiad Benchmark?

Paper • 2509.07894 • Published Sep 9, 2025 • 32

liked a Space 5 months ago

Running

Agents

23

OpenReviewer

📚

23

Generate Paper Reviews

liked 2 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

upvoted a paper 6 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29

liked a dataset 6 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 269 • 10

liked 3 models 7 months ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 10.4k • • 27

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • 33B • Updated Aug 27, 2025 • 71.4k • • 73

Goedel-LM/Goedel-Formalizer-V2-8B

8B • Updated Jul 20, 2025 • 243 • 6