Xu Kangping

xukp20's activity

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

liked 2 datasets about 1 month ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 451 • 12

m-a-p/FineLeanCorpus

Viewer • Updated 29 days ago • 509k • 884 • 9

liked 2 models 3 months ago

GSAI-ML/LLaDA-8B-Instruct

Text Generation • 8B • Updated Feb 27 • 254k • 312

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

Text Generation • 8B • Updated Jul 15 • 38k • 126

liked a model 4 months ago

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

Text Generation • 685B • Updated Apr 30 • 1.83k • • 809