Ruida WANG

RickyDeSkywalker's activity

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

liked a model about 1 month ago

RickyDeSkywalker/LoT-Solver-Godel

Updated Mar 12 • 41 • 1

updated 2 models about 1 month ago

RickyDeSkywalker/LoT-Solver

Updated Mar 12 • 19

RickyDeSkywalker/LoT-Solver-Godel

Updated Mar 12 • 41 • 1

published a model about 1 month ago

RickyDeSkywalker/LoT-Solver-Godel

Updated Mar 12 • 41 • 1

liked a model about 2 months ago

kfdong/STP_model_Lean

Text Generation • Updated 29 days ago • 268 • 3

published a model about 2 months ago

RickyDeSkywalker/LoT-Solver

Updated Mar 12 • 19

liked a model 2 months ago

RickyDeSkywalker/TheoremLlama

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

updated a model 7 months ago

RickyDeSkywalker/TheoremLlama

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

liked a dataset 7 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 30 • 10

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 • 30 • 10

New activity in RickyDeSkywalker/TheoremLlama 9 months ago

Link model to paper

#1 opened 9 months ago by

nielsr

upvoted 2 papers 10 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 10 months ago

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

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

1

authored 2 papers 10 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