Ruida WANG's picture

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

updated a dataset about 21 hours ago

RickyDeSkywalker/AR_model_result

published a dataset about 21 hours ago

RickyDeSkywalker/AR_model_result

updated a dataset about 21 hours ago

RickyDeSkywalker/Diffusion_model_result

View all activity

Organizations

RickyDeSkywalker 's models 5

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated 27 days ago • 43

RickyDeSkywalker/GAR_Goedel-Prover-V2

Text Generation • 2B • Updated 27 days ago • 43

RickyDeSkywalker/TheoremLlama

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

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4, 2025 • 7

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 23 • 1