Ruida WANG

RickyDeSkywalker's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model 8 days ago

RickyDeSkywalker/LoT-Solver-Godel

Updated 14 days ago • 61 • 1

updated 2 models 14 days ago

RickyDeSkywalker/LoT-Solver

Updated 14 days ago • 49

RickyDeSkywalker/LoT-Solver-Godel

Updated 14 days ago • 61 • 1

published a model 16 days ago

RickyDeSkywalker/LoT-Solver-Godel

Updated 14 days ago • 61 • 1

liked a model 20 days ago

kfdong/STP_model_Lean

Text Generation • Updated 1 day ago • 191 • 3

published a model 20 days ago

RickyDeSkywalker/LoT-Solver

Updated 14 days ago • 49

liked a model about 1 month ago

RickyDeSkywalker/TheoremLlama

Text Generation • Updated Sep 24, 2024 • 32 • 7

updated a model 6 months ago

RickyDeSkywalker/TheoremLlama

Text Generation • Updated Sep 24, 2024 • 32 • 7

liked a dataset 7 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 37 • 9

New activity in RickyDeSkywalker/OpenBootstrappedTheorem 9 months ago

Link dataset to paper

#2 opened 9 months ago by

nielsr

updated a dataset 9 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 37 • 9

New activity in RickyDeSkywalker/TheoremLlama 9 months ago

Link model to paper

#1 opened 9 months ago by

nielsr

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

commented a paper 9 months ago

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12 •

1

authored 2 papers 9 months ago

DragVideo: Interactive Drag-style Video Editing

Paper • 2312.02216 • Published Dec 3, 2023 • 13

Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models

Paper • 2310.13671 • Published Oct 20, 2023 • 19