Xu Kangping's picture

Building on HF

Xu Kangping

xukp20

·

https://github.com/xukp20

xukp20

AI & ML interests

None yet

Recent Activity

liked a model 10 days ago

mistralai/Leanstral-2603

updated a dataset 28 days ago

iiis-lean/lean-math-formal-corpus

updated a dataset about 1 month ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

View all activity

Organizations

xukp20 's datasets

None public yet