Ruida WANG's picture

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

updated a dataset about 11 hours ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath

published a dataset about 11 hours ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath

updated a dataset about 11 hours ago

RickyDeSkywalker/GAR_baseDataset

View all activity

Organizations

Papers 3

arxiv:2601.10201

arxiv:2312.02216

arxiv:2310.13671

models 5

RickyDeSkywalker/GAR_Goedel-Prover-V2

2B • Updated about 10 hours ago

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

2B • Updated about 10 hours ago

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

datasets 4

RickyDeSkywalker/GAR_baseDataset

Updated about 10 hours ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath

Updated about 10 hours ago

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27, 2025 • 15

RickyDeSkywalker/OpenBootstrappedTheorem

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