Ruida WANG's picture

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

new activity 6 days ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath:Add metadata, paper link, and sample usage

new activity 6 days ago

RickyDeSkywalker/GAR_baseDataset:Improve dataset card: add paper link, task category, and sample usage

new activity 6 days ago

RickyDeSkywalker/GAR_DeepSeek-Prover-V2:Update model card with metadata, paper link and GitHub repository

View all activity

Organizations

liked a model 12 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 1

liked 2 models about 1 year ago

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24, 2025 • 366 • 3

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 14 • 7

liked a dataset over 1 year ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 15 • 12