Ruida WANG's picture

4 8 4

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

upvoted a paper 18 days ago

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

upvoted a paper 18 days ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

commented on a paper 18 days ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

View all activity

Organizations

RickyDeSkywalker 's datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 26

RickyDeSkywalker/OpenBootstrappedTheorem

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