iiis-lean

AI & ML interests

None defined yet.

Recent Activity

xukp20  updated a dataset about 6 hours ago

iiis-lean/lean-math-formal-corpus

xukp20  updated a dataset 4 days ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

xukp20  published a dataset 8 days ago

iiis-lean/lean-math-formal-corpus

View all activity

Team members 2