Huangyuan Su

CHL0e's activity

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

liked a model 14 days ago

deepseek-ai/DeepSeek-R1-Distill-Qwen-7B

Text Generation • Updated Feb 24 • 1.08M • 616

liked 3 datasets 14 days ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated 29 days ago • 29.8k • 496 • 8

FrenzyMath/Herald_statements

Viewer • Updated Feb 15 • 580k • 73 • 1

FrenzyMath/Herald_proofs

Viewer • Updated Feb 25 • 44.6k • 117 • 1

liked a model 22 days ago

meta-llama/Llama-3.1-8B-Instruct

Text Generation • Updated Sep 25, 2024 • 6.06M • • 3.87k