Xu Kangping

xukp20's activity

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

upvoted an article about 2 months ago

view article

Article

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

By and 18 others •

Jul 10

• 49

liked 2 datasets about 2 months ago

Goedel-LM/Lean-workbook-proofs

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

m-a-p/FineLeanCorpus

Viewer • Updated Jul 28 • 509k • 2.25k • 9

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

Question about the chat template which ignores add_generation_prompt

#12 opened 3 months ago by

xukp20

liked 2 models 3 months ago

GSAI-ML/LLaDA-8B-Instruct

Text Generation • 8B • Updated Feb 27 • 319k • 313

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

Text Generation • 8B • Updated Jul 15 • 42.2k • 128

liked a model 4 months ago

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

Text Generation • 685B • Updated Apr 30 • 1.41k • • 811

upvoted a paper 7 months ago

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

Paper • 2502.14499 • Published Feb 20 • 193

updated 12 models 11 months ago

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

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

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

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

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

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

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

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

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 • 4

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

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

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

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

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

Updated Sep 28, 2024

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

Updated Sep 28, 2024

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

Updated Sep 28, 2024

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

Updated Sep 28, 2024