AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

pkuAI4M's activity

Slashblade

updated a collection 3 months ago

Tool Use

5 items • Updated Apr 1 • 1

WhiteGiverPlus

updated 2 collections 3 months ago

CoTPost'Train

1 item • Updated Mar 31

Tool Use

5 items • Updated Apr 1 • 1

WhiteGiverPlus

updated a dataset 4 months ago

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15 • 311k • 23

WhiteGiverPlus

published a dataset 4 months ago

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15 • 311k • 23

WhiteGiverPlus

updated a dataset 4 months ago

pkuAI4M/s1k

Viewer • Updated Feb 8 • 1k • 30

WhiteGiverPlus

published a dataset 4 months ago

pkuAI4M/s1k

Viewer • Updated Feb 8 • 1k • 30

WhiteGiverPlus

updated 2 datasets 6 months ago

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 23

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 25

WhiteGiverPlus

updated a collection 7 months ago

Informal Statements

3 items • Updated Nov 27, 2024

WhiteGiverPlus

updated 5 datasets 7 months ago

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_github_formal_only_1119

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