arxiv:2601.10201
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
updated a dataset about 8 hours ago
RickyDeSkywalker/vllm-container published a dataset about 9 hours ago
RickyDeSkywalker/vllm-container upvoted an article 13 days ago
Welcome Gemma 4: Frontier multimodal intelligence on deviceOrganizations
models 5
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 11
RickyDeSkywalker/GAR_Goedel-Prover-V2
Text Generation • 2B • Updated • 3
RickyDeSkywalker/TheoremLlama
Text Generation • 8B • Updated • 3 • 7
RickyDeSkywalker/LoT-Solver
7B • Updated • 49
RickyDeSkywalker/LoT-Solver-Godel
7B • Updated • 32 • 1
datasets 5
RickyDeSkywalker/vllm-container
Updated
RickyDeSkywalker/GAR_baseDataset_NuminaMath
Viewer • Updated • 104k • 54
RickyDeSkywalker/GAR_baseDataset
Viewer • Updated • 781k • 38
RickyDeSkywalker/LoT-CorrectionData
Preview • Updated • 11
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer • Updated • 107k • 9 • 12