Hugging Face's logo
Xu Kangping's picture
Building on HF
1 2 5

Xu Kangping

xukp20
Mi6paulino's profile picture Theartplug's profile picture chris0917's profile picture
ยท
https://github.com/xukp20

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago
iiis-lean/lean-math-formal-corpus
updated a dataset 10 days ago
iiis-lean/NuminaMath-LEAN-Proof-Artifacts
published a dataset 14 days ago
iiis-lean/lean-math-formal-corpus
View all activity

Organizations

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