Ruida WANG

RickyDeSkywalker's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in RickyDeSkywalker/GAR_baseDataset_NuminaMath 9 days ago

Add metadata, paper link, and sample usage

#2 opened 9 days ago by

nielsr

New activity in RickyDeSkywalker/GAR_baseDataset 9 days ago

Improve dataset card: add paper link, task category, and sample usage

#1 opened 9 days ago by

nielsr

New activity in RickyDeSkywalker/GAR_DeepSeek-Prover-V2 9 days ago

Update model card with metadata, paper link and GitHub repository

#1 opened 9 days ago by

nielsr

New activity in RickyDeSkywalker/GAR_Goedel-Prover-V2 9 days ago

Improve model card metadata and add paper link

#1 opened 9 days ago by

nielsr

updated a dataset 12 days ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath

Viewer • Updated 9 days ago • 104k • 28

published a dataset 12 days ago

RickyDeSkywalker/GAR_baseDataset_NuminaMath

Viewer • Updated 9 days ago • 104k • 28

updated a dataset 12 days ago

RickyDeSkywalker/GAR_baseDataset

Viewer • Updated 9 days ago • 781k • 12

published a dataset 12 days ago

RickyDeSkywalker/GAR_baseDataset

Viewer • Updated 9 days ago • 781k • 12

updated a model 12 days ago

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated 9 days ago • 42

published a model 12 days ago

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated 9 days ago • 42

updated a model 12 days ago

RickyDeSkywalker/GAR_Goedel-Prover-V2

Text Generation • 2B • Updated 9 days ago • 41

published a model 12 days ago

RickyDeSkywalker/GAR_Goedel-Prover-V2

Text Generation • 2B • Updated 9 days ago • 41

upvoted a collection 28 days ago

Qwen3

Collection

84 items • Updated Dec 31, 2025 • 1.71k

authored a paper about 2 months ago

PRL: Process Reward Learning Improves LLMs' Reasoning Ability and Broadens the Reasoning Boundary

Paper • 2601.10201 • Published Jan 15 • 9

upvoted a paper about 2 months ago

PRL: Process Reward Learning Improves LLMs' Reasoning Ability and Broadens the Reasoning Boundary

Paper • 2601.10201 • Published Jan 15 • 9

upvoted a paper 3 months ago

ToolOrchestra: Elevating Intelligence via Efficient Model and Tool Orchestration

Paper • 2511.21689 • Published Nov 26, 2025 • 125

upvoted 2 papers 5 months ago

ERA: Transforming VLMs into Embodied Agents via Embodied Prior Learning and Online Reinforcement Learning

Paper • 2510.12693 • Published Oct 14, 2025 • 28

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 26

commented a paper 5 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 26 •

2

upvoted a paper 6 months ago

Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training

Paper • 2509.03403 • Published Sep 3, 2025 • 23