Xu Kangping's picture

1 2 5

Xu Kangping

xukp20

·

xukp20

AI & ML interests

None yet

Recent Activity

updated a dataset 8 days ago

iiis-lean/NuminaMath-LEAN-Sol

published a dataset 8 days ago

iiis-lean/NuminaMath-LEAN-Sol

upvoted an article 7 months ago

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

View all activity

Organizations

xukp20 's datasets

None public yet