Xu Kangping
xukp20
AI & ML interests
None yet
Recent Activity
updated
a dataset about 4 hours ago
iiis-lean/NuminaMath-LEAN-Proof-Artifacts updated
a dataset 3 days ago
iiis-lean/lean-math-formal-corpus published
a dataset 4 days ago
iiis-lean/lean-math-formal-corpus Organizations
