Ruida WANG's picture

3 2 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

liked a model 8 days ago

RickyDeSkywalker/LoT-Solver-Godel

updated a model 14 days ago

RickyDeSkywalker/LoT-Solver

updated a model 14 days ago

RickyDeSkywalker/LoT-Solver-Godel

View all activity

Organizations

None yet

RickyDeSkywalker's activity

upvoted 2 papers 9 months ago

DragVideo: Interactive Drag-style Video Editing

Paper • 2312.02216 • Published Dec 3, 2023 • 13

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12