Xu Kangping's picture

1 2 5

Xu Kangping

xukp20

·

xukp20

AI & ML interests

None yet

Recent Activity

updated a dataset 4 days ago

iiis-lean/NuminaMath-LEAN-Sol

published a dataset 5 days ago

iiis-lean/NuminaMath-LEAN-Sol

updated a dataset 5 days ago

iiis-lean/NuminaMath-LEAN-Sol

View all activity

Organizations

upvoted an article 6 months ago

Article

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

Jul 10, 2025

•

54

upvoted a paper 11 months ago

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

Paper • 2502.14499 • Published Feb 20, 2025 • 194