Ruida WANG's picture

3 6 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper about 23 hours ago

Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training

updated a model about 1 month ago

RickyDeSkywalker/TheoremLlama

updated a model about 1 month ago

RickyDeSkywalker/LoT-Solver

View all activity

Organizations

None yet

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 3

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4 • 2 • 7

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 12

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 21 • 12