Xu Kangping
xukp20
AI & ML interests
None yet
Recent Activity
updated
a dataset about 1 month ago
iiis-lean/NuminaMath-LEAN-Sol published
a dataset about 1 month ago
iiis-lean/NuminaMath-LEAN-Sol upvoted an article 7 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models Organizations
