Ruoran Xu

RowanXu06's activity

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

liked 2 datasets 15 days ago

tlb-22/euclean-omni-geometry

Viewer • Updated Jun 12 • 780 • 95 • 1

tlb-22/euclean-numina-geometry

Viewer • Updated Jun 12 • 184k • 99 • 1

upvoted a collection about 1 month ago

RubricARM

Collection

2 items • Updated Feb 1 • 1

upvoted a paper about 1 month ago

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

Paper • 2608.14221 • Published Aug 14 • 9

liked a dataset about 2 months ago

HAGeo-IMO/HAGeo-409

Viewer • Updated Feb 2 • 409 • 82 • 1

liked a dataset 3 months ago

ShadenA/MathNet

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

liked a dataset 4 months ago

PeijieWang/GDP29K

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

upvoted a paper 5 months ago

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

Paper • 2605.04018 • Published May 5 • 29

liked a dataset 5 months ago

xiaowu0162/longmemeval-cleaned

Updated Sep 19, 2025 • 20.2k • 36

upvoted a paper 5 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 6 months ago

Runtime error

Agents

23

OpenReviewer

📚

23

Generate Paper Reviews

liked 2 datasets 7 months ago

menik1126/PhyX-AF

Viewer • Updated Feb 21 • 256 • 28 • 5

Goedel-LM/SFT_dataset_v2

Viewer • Updated Mar 2 • 1.75M • 576 • 31

upvoted a paper 7 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29

liked a dataset 7 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 267 • 10

liked 3 models 8 months ago

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

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

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

Text Generation • 33B • Updated Aug 27, 2025 • 31.8k • • 74

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

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