Ruida WANG's picture

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

new activity 1 day ago

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

new activity 1 day ago

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

new activity 1 day ago

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

View all activity

Organizations

RickyDeSkywalker 's models 5

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated 1 day ago • 42

RickyDeSkywalker/GAR_Goedel-Prover-V2

Text Generation • 2B • Updated 1 day ago • 41

RickyDeSkywalker/TheoremLlama

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

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4, 2025

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 1