iiis-lean

AI & ML interests

None defined yet.

Recent Activity

xukp20  updated a dataset 1 day ago

iiis-lean/NuminaMath-LEAN-Sol

xukp20  published a dataset 2 days ago

iiis-lean/NuminaMath-LEAN-Sol

xukp20  updated a dataset 2 days ago

iiis-lean/NuminaMath-LEAN-Sol

View all activity

Team members 2