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

liked a model 20 days ago

kfdong/STP_model_Lean

Text Generation • Updated 1 day ago • 191 • 3

liked a model about 1 month 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