Ruida WANG

RickyDeSkywalker's activity

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

liked 3 models about 1 year ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27, 2025 • 11 • 1

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24, 2025 • 4.4k • 3

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 2 • 7

liked a dataset over 1 year ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 14 • 12