Xu Kangping

xukp20's activity

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

liked a model 4 months ago

mistralai/Leanstral-2603

Updated 20 days ago • 98 • 167

liked 2 datasets about 1 year ago

Goedel-LM/Lean-workbook-proofs

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

m-a-p/FineLeanCorpus

Viewer • Updated Jul 28, 2025 • 509k • 698 • 11

liked 2 models about 1 year ago

GSAI-ML/LLaDA-8B-Instruct

Text Generation • 8B • Updated Oct 21, 2025 • 429k • 359

Dream-org/Dream-v0-Instruct-7B

Text Generation • 8B • Updated Jul 15, 2025 • 101k • 159

liked a model over 1 year ago

deepseek-ai/DeepSeek-Prover-V2-671B

Text Generation • 685B • Updated Apr 30, 2025 • 727 • 832