Ruida WANG's picture

4 9 4

Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

ToolOrchestra: Elevating Intelligence via Efficient Model and Tool Orchestration

upvoted a paper 3 months ago

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

upvoted a paper 3 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

View all activity

Organizations

liked 2 models 10 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 1

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24, 2025 • 7 • 3

liked a model 11 months ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 69 • 7

liked a dataset over 1 year ago

RickyDeSkywalker/OpenBootstrappedTheorem

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