Ruida WANG's picture

4 8 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 13 days ago

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

upvoted a paper 13 days ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

commented on a paper 13 days ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

View all activity

Organizations

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 • 8

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 8 • 1

datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 26

RickyDeSkywalker/OpenBootstrappedTheorem

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