arxiv:2601.10201
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
new activity 14 days ago
amazon/LAR-9B:Question about the SWE-bench Verified evaluation setup upvoted a paper 19 days ago
Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards submitted a paper 19 days ago
Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process RewardsOrganizations
models 5
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 21
RickyDeSkywalker/GAR_Goedel-Prover-V2
Text Generation • 2B • Updated • 13
RickyDeSkywalker/TheoremLlama
Text Generation • 8B • Updated • 7
RickyDeSkywalker/LoT-Solver
7B • Updated
RickyDeSkywalker/LoT-Solver-Godel
7B • Updated • 1
datasets 6
RickyDeSkywalker/dc-sutherland
Updated • 9
RickyDeSkywalker/vllm-container
Updated • 33
RickyDeSkywalker/GAR_baseDataset_NuminaMath
Viewer • Updated • 104k • 67
RickyDeSkywalker/GAR_baseDataset
Viewer • Updated • 781k • 75
RickyDeSkywalker/LoT-CorrectionData
Preview • Updated • 24
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer • Updated • 107k • 19 • 12