AI4M

pkuAI4M's activity

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

Slashblade 

updated a collection 23 days ago

Tool Use

Collection

5 items • Updated 23 days ago • 1

WhiteGiverPlus 

updated 2 collections 24 days ago

CoTPost'Train

Collection

1 item • Updated 24 days ago

Tool Use

Collection

5 items • Updated 23 days ago • 1

WhiteGiverPlus 

updated a dataset 2 months ago

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15 • 311k • 12

WhiteGiverPlus 

published a dataset 2 months ago

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15 • 311k • 12

WhiteGiverPlus 

updated a dataset 2 months ago

pkuAI4M/s1k

Viewer • Updated Feb 8 • 1k • 17

WhiteGiverPlus 

published a dataset 2 months ago

pkuAI4M/s1k

Viewer • Updated Feb 8 • 1k • 17

WhiteGiverPlus 

updated 2 datasets 4 months ago

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 15

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 17

WhiteGiverPlus 

updated a collection 5 months ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

WhiteGiverPlus 

updated 5 datasets 5 months ago

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23, 2024 • 25.2k • 13

pkuAI4M/RAG_lean_github_6

Viewer • Updated Nov 23, 2024 • 219k • 12

pkuAI4M/lean_github

Viewer • Updated Nov 22, 2024 • 219k • 30

pkuAI4M/lean_wkbk

Viewer • Updated Nov 22, 2024 • 25.2k • 24

pkuAI4M/Lean_github_formal_only_1119

Viewer • Updated Nov 22, 2024 • 219k • 23