Chih-chan Tien PRO

cctien's activity

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

liked 5 datasets over 1 year ago

internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 339 • 40

kfdong/STP_Lean_0320

Viewer • Updated Mar 24, 2025 • 3.26M • 203 • 4

deepseek-ai/DeepSeek-Prover-V1

Viewer • Updated Sep 12, 2024 • 27.5k • 590 • 74

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 536 • 16

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 1.06k • 58

liked a model almost 2 years ago

biohub/esm3-sm-open-v1

Updated Jun 4 • 2.18k • 324