arxiv:2601.10201
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
new activity
about 17 hours ago
RickyDeSkywalker/GAR_baseDataset_NuminaMath:Add metadata, paper link, and sample usage new activity
about 17 hours ago
RickyDeSkywalker/GAR_baseDataset:Improve dataset card: add paper link, task category, and sample usage new activity
about 17 hours ago
RickyDeSkywalker/GAR_DeepSeek-Prover-V2:Update model card with metadata, paper link and GitHub repository Organizations
models 5
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated
• 18
RickyDeSkywalker/GAR_Goedel-Prover-V2
Text Generation • 2B • Updated
• 19
RickyDeSkywalker/TheoremLlama
Text Generation • 8B • Updated
• 41 • 7
RickyDeSkywalker/LoT-Solver
7B • Updated
RickyDeSkywalker/LoT-Solver-Godel
7B • Updated
• 1