Xu Kangping's picture

Building on HF

Xu Kangping

xukp20

·

https://github.com/xukp20

xukp20

AI & ML interests

None yet

Recent Activity

updated a dataset about 19 hours ago

iiis-lean/lean-math-formal-corpus

updated a dataset 5 days ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

published a dataset 9 days ago

iiis-lean/lean-math-formal-corpus

View all activity

Organizations

xukp20 's datasets

None public yet