AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

WhiteGiverPlus updated a dataset 2 days ago

pkuAI4M/s1k

WhiteGiverPlus published a dataset 2 days ago

pkuAI4M/s1k

WhiteGiverPlus updated a dataset about 1 month ago

pkuAI4M/lean_stage1_rag

View all activity

Collections 5

models

None public yet

datasets 41

pkuAI4M/s1k

Viewer • Updated 2 days ago • 1k • 7

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 49

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 42

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22, 2024 • 6

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

Viewer • Updated Nov 20, 2024 • 219k • 32