Xu Kangping

xukp20's activity

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

updated a dataset about 5 hours ago

iiis-lean/lean-math-formal-corpus

Viewer • Updated about 5 hours ago • 2.88k • 260

updated a dataset 4 days ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

Viewer • Updated 4 days ago • 73.4k • 50

published a dataset 8 days ago

iiis-lean/lean-math-formal-corpus

Viewer • Updated about 5 hours ago • 2.88k • 260

published a dataset 13 days ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

Viewer • Updated 4 days ago • 73.4k • 50

updated a dataset about 2 months ago

iiis-lean/NuminaMath-LEAN-Sol

Viewer • Updated Jan 23 • 81.3k • 15

published a dataset about 2 months ago

iiis-lean/NuminaMath-LEAN-Sol

Viewer • Updated Jan 23 • 81.3k • 15

upvoted an article 8 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

54

liked 2 datasets 8 months ago

Goedel-LM/Lean-workbook-proofs

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

m-a-p/FineLeanCorpus

Viewer • Updated Jul 28, 2025 • 509k • 484 • 10

New activity in GSAI-ML/LLaDA-8B-Instruct 9 months ago

Question about the chat template which ignores add_generation_prompt

👍 2

1

#12 opened 9 months ago by

xukp20

liked 2 models 10 months ago

GSAI-ML/LLaDA-8B-Instruct

Text Generation • Updated Oct 21, 2025 • 454k • 351

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

Text Generation • 8B • Updated Jul 15, 2025 • 80.1k • 154

liked a model 11 months ago

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

Text Generation • Updated Apr 30, 2025 • 398 • • 821

upvoted a paper about 1 year ago

MLGym: A New Framework and Benchmark for Advancing AI Research Agents

Paper • 2502.14499 • Published Feb 20, 2025 • 194

updated 6 models over 1 year ago

xukp20/Llama-3-8B-Instruct-SPPO-score-Iter3_gp_8b-table-0.002

Text Generation • 8B • Updated Sep 29, 2024 • 1

xukp20/Llama-3-8B-Instruct-SPPO-score-Iter3_bt_8b-table-0.002

Text Generation • 8B • Updated Sep 28, 2024 • 4

xukp20/Llama-3-8B-Instruct-SPPO-Iter3_bt_8b-table

Text Generation • 8B • Updated Sep 28, 2024 • 4

xukp20/Llama-3-8B-Instruct-SPPO-score-Iter3_bt_2b-table-0.001

Text Generation • 8B • Updated Sep 28, 2024 • 3

xukp20/Llama-3-8B-Instruct-SPPO-Iter3_bt_2b-table

Text Generation • 8B • Updated Sep 28, 2024 • 8

xukp20/Llama-3-8B-Instruct-SPPO-Iter3_gp_8b-table

Text Generation • 8B • Updated Sep 28, 2024 • 6