Hugging Face's logo
Xu Kangping's picture
1 2 5

Xu Kangping

xukp20
Theartplug's profile picture chris0917's profile picture Mi6paulino's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago
iiis-lean/NuminaMath-LEAN-Sol
published a dataset 4 days ago
iiis-lean/NuminaMath-LEAN-Sol
updated a dataset 4 days ago
iiis-lean/NuminaMath-LEAN-Sol
View all activity

Organizations

General Preference's profile picture iiis-lean's profile picture