iiis-lean

iiis-lean's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

xukp20 

updated 2 datasets 4 months ago

iiis-lean/lean-math-formal-corpus

Viewer • Updated Mar 16 • 8.63k • 114

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

Viewer • Updated Mar 9 • 73.4k • 920

xukp20 

published a dataset 4 months ago

iiis-lean/lean-math-formal-corpus

Viewer • Updated Mar 16 • 8.63k • 114

xukp20 

published a dataset 5 months ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

Viewer • Updated Mar 9 • 73.4k • 920

xukp20 

updated a dataset 6 months ago

iiis-lean/NuminaMath-LEAN-Sol

Viewer • Updated Jan 23 • 81.3k • 56

xukp20 

published a dataset 6 months ago

iiis-lean/NuminaMath-LEAN-Sol

Viewer • Updated Jan 23 • 81.3k • 56