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

Xu Kangping

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

AI & ML interests

None yet

Recent Activity

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

Organizations

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