🏗️ Building on HF

Xu Kangping

xukp20

·

https://github.com/xukp20

xukp20

AI & ML interests

None yet

Recent Activity

updated a Space 2 days ago

sci-modeling-bench/README

published a Space 2 days ago

sci-modeling-bench/README

updated a dataset 3 days ago

sci-modeling-bench/design-bench

View all activity

Organizations

upvoted an article about 1 year ago

Article

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

AI-MO

•

Jul 10, 2025

• 56

upvoted a paper over 1 year ago

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

Paper • 2502.14499 • Published Feb 20, 2025 • 196