Ruida WANG

RickyDeSkywalker's activity

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

updated 2 models 1 day ago

RickyDeSkywalker/LoT-Solver

Updated 1 day ago • 11

RickyDeSkywalker/LoT-Solver-Godel

Updated 1 day ago • 2

published a model 4 days ago

RickyDeSkywalker/LoT-Solver-Godel

Updated 1 day ago • 2

liked a model 8 days ago

kfdong/STP_model_Lean

Updated 17 days ago • 115 • 3

published a model 8 days ago

RickyDeSkywalker/LoT-Solver

Updated 1 day ago • 11

liked a model 27 days ago

RickyDeSkywalker/TheoremLlama

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

updated a model 6 months ago

RickyDeSkywalker/TheoremLlama

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

liked a dataset 6 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

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

New activity in RickyDeSkywalker/OpenBootstrappedTheorem 8 months ago

Link dataset to paper

#2 opened 8 months ago by

nielsr

updated a dataset 8 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

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

New activity in RickyDeSkywalker/TheoremLlama 8 months ago

Link model to paper

#1 opened 8 months ago by

nielsr

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

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

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

1

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