Ruida WANG's picture

4 9 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 25 days 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

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 3

RickyDeSkywalker/TheoremLlama

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

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4 • 2

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 2 • 1

datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 18

RickyDeSkywalker/OpenBootstrappedTheorem

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