AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

WhiteGiverPlus updated a dataset 15 days ago

pkuAI4M/Theorem_chunk_all_zh

WhiteGiverPlus updated a dataset 15 days ago

pkuAI4M/Theorem_chunk_all_en

WhiteGiverPlus updated a collection 29 days ago

Informal Statements

View all activity

Collections 5

models

None public yet

datasets 40

pkuAI4M/Theorem_chunk_all_zh

Viewer • Updated 15 days ago • 786k • 14

pkuAI4M/Theorem_chunk_all_en

Viewer • Updated 15 days ago • 1.33M • 14

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23 • 25.2k • 32

pkuAI4M/RAG_lean_github_6

Viewer • Updated Nov 23 • 219k • 33

pkuAI4M/lean_github

Viewer • Updated Nov 22 • 219k • 31

pkuAI4M/lean_wkbk

Viewer • Updated Nov 22 • 25.2k • 35

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22 • 10

pkuAI4M/Lean_github_formal_only_1119

Viewer • Updated Nov 22 • 219k • 51

pkuAI4M/RAG_lean_github

Viewer • Updated Nov 20 • 219k • 30

pkuAI4M/RAG_lean_wkbk

Viewer • Updated Nov 20 • 25.2k • 32