haoshen

tsuki8's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

New activity in internlm/Lean-Workbook 23 days ago

the version of Lean4 used by lean workbook

#4 opened 23 days ago by

tsuki8

upvoted a collection 24 days ago

LEAN4-Related

Collection

1 item • Updated 24 days ago • 1

updated a collection 24 days ago

LEAN4-Related

Collection

1 item • Updated 24 days ago • 1

New activity in amitayusht/PutnamBench 6 months ago

[bot] Conversion to Parquet

1

#1 opened 7 months ago by

parquet-converter

New activity in internlm/Lean-Workbook 7 months ago

🚩 Report

1

#1 opened 7 months ago by

tsuki8

liked a dataset 7 months ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 351 • 28