AI4M

pkuAI4M's activity

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

WhiteGiverPlus 

updated 2 datasets 16 days ago

pkuAI4M/Theorem_chunk_all_zh

Viewer • Updated 16 days ago • 786k • 15

pkuAI4M/Theorem_chunk_all_en

Viewer • Updated 16 days ago • 1.33M • 15

WhiteGiverPlus 

updated a collection 29 days ago

Informal Statements

Collection

3 items • Updated 29 days ago

WhiteGiverPlus 

updated 7 datasets about 1 month ago

pkuAI4M/RAG_lean_wkbk_6

Viewer • Updated Nov 23 • 25.2k • 33

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_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 • 33

Slashblade 

updated a dataset about 1 month ago

pkuAI4M/data-aug-test

Viewer • Updated Nov 19 • 2.85k • 30

WhiteGiverPlus 

updated a dataset about 1 month ago

pkuAI4M/premise-selection_train_with_hn

Viewer • Updated Nov 12 • 364k • 29

WhiteGiverPlus 

updated 4 datasets about 2 months ago

pkuAI4M/premise_selection_1031

Viewer • Updated Oct 31 • 383k • 34

pkuAI4M/premise_selection_trunc_1030_splited

Viewer • Updated Oct 30 • 407k • 33

pkuAI4M/premise_selection_full_1029

Viewer • Updated Oct 29 • 351k • 31

pkuAI4M/premise_selection_1029_0

Viewer • Updated Oct 29 • 357k • 31

WhiteGiverPlus 

updated a dataset 3 months ago

pkuAI4M/DPO_test_0929

Viewer • Updated Sep 29 • 1.12M • 33

Slashblade 

updated a dataset 3 months ago

pkuAI4M/algebra_exercises_v4_11_0_cleaner

Viewer • Updated Sep 21 • 1.91k • 41