arxiv:2601.10201
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
updated a dataset 24 minutes ago
RickyDeSkywalker/dc-sutherland published a dataset 26 minutes ago
RickyDeSkywalker/dc-sutherland updated a dataset 8 days ago
RickyDeSkywalker/vllm-containerOrganizations
models 5
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 16
RickyDeSkywalker/GAR_Goedel-Prover-V2
Text Generation • 2B • Updated • 4
RickyDeSkywalker/TheoremLlama
Text Generation • 8B • Updated • 2 • 7
RickyDeSkywalker/LoT-Solver
7B • Updated • 51
RickyDeSkywalker/LoT-Solver-Godel
7B • Updated • 18 • 1
datasets 6
RickyDeSkywalker/dc-sutherland
Updated
RickyDeSkywalker/vllm-container
Updated • 35
RickyDeSkywalker/GAR_baseDataset_NuminaMath
Viewer • Updated • 104k • 46
RickyDeSkywalker/GAR_baseDataset
Viewer • Updated • 781k • 35
RickyDeSkywalker/LoT-CorrectionData
Preview • Updated • 10
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer • Updated • 107k • 10 • 12