AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

WhiteGiverPlus updated a collection about 1 month ago

Informal Statements

WhiteGiverPlus updated a collection about 1 month ago

Informal Statements

WhiteGiverPlus updated a collection about 1 month ago

Informal Statements

View all activity

Collections 5

models

None public yet

datasets 38

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22, 2024 • 9

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

Viewer • Updated Nov 20, 2024 • 25.2k • 31

pkuAI4M/data-aug-test

Viewer • Updated Nov 19, 2024 • 2.85k • 29

pkuAI4M/RAG_leanwkbk

Updated Nov 18, 2024 • 2