AI4M

pkuAI4M's activity

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

WhiteGiverPlus 

updated a dataset 3 days ago

pkuAI4M/s1k

Viewer • Updated 3 days ago • 1k • 7

WhiteGiverPlus 

published a dataset 3 days ago

pkuAI4M/s1k

Viewer • Updated 3 days ago • 1k • 7

WhiteGiverPlus 

updated 2 datasets about 1 month ago

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 49

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 42

WhiteGiverPlus 

updated a collection 3 months ago

Informal Statements

Collection

3 items • Updated Nov 27, 2024

WhiteGiverPlus 

updated 7 datasets 3 months ago

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_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

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

Slashblade 

updated a dataset 3 months ago

pkuAI4M/data-aug-test

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

WhiteGiverPlus 

updated 5 datasets 3 months ago

pkuAI4M/premise-selection_train_with_hn

Viewer • Updated Nov 12, 2024 • 364k • 37

pkuAI4M/premise_selection_1031

Viewer • Updated Oct 31, 2024 • 383k • 38

pkuAI4M/premise_selection_trunc_1030_splited

Viewer • Updated Oct 30, 2024 • 407k • 32

pkuAI4M/premise_selection_full_1029

Viewer • Updated Oct 29, 2024 • 351k • 33

pkuAI4M/premise_selection_1029_0

Viewer • Updated Oct 29, 2024 • 357k • 38