AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

tonyxty updated a model 5 days ago

pkuAI4M/mathlib_formal_v4.24.0

tonyxty published a model 5 days ago

pkuAI4M/mathlib_formal_v4.24.0

LiqingRuan authored a paper 3 months ago

MiniCPM-V 4.5: Cooking Efficient MLLMs via Architecture, Data, and Training Recipe

View all activity

pkuAI4M 's datasets 42

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15 • 311k • 10

pkuAI4M/s1k

Viewer • Updated Feb 8 • 1k • 33

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6 • 311k • 16

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6 • 92.2k • 16

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22, 2024 • 4

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

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

pkuAI4M/data-aug-test

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

pkuAI4M/RAG_leanwkbk

Updated Nov 18, 2024 • 1

pkuAI4M/premise-selection_train_with_hn

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

pkuAI4M/premise_selection_1031

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

pkuAI4M/premise_selection_trunc_1030_splited

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

pkuAI4M/premise_selection_full_1029

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

pkuAI4M/premise_selection_1029_0

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

pkuAI4M/DPO_test_0929

Viewer • Updated Sep 29, 2024 • 1.12M • 10

pkuAI4M/algebra_exercises_v4_11_0_cleaner

Viewer • Updated Sep 21, 2024 • 1.91k • 8

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 22

pkuAI4M/benchmark_0908

Viewer • Updated Sep 19, 2024 • 2.6k • 8

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 21

pkuAI4M/extract_mathlib_v4_11_0_validated

Viewer • Updated Sep 16, 2024 • 2.83M • 7

pkuAI4M/o1_preview_test

Viewer • Updated Sep 13, 2024 • 94 • 9 • 1

pkuAI4M/options_theorems_0908

Viewer • Updated Sep 12, 2024 • 339k • 9

pkuAI4M/Extracted_ex_test0908

Viewer • Updated Sep 10, 2024 • 580 • 9

pkuAI4M/threom_ex_en_0908_test_2

Viewer • Updated Sep 10, 2024 • 97.8k • 9

pkuAI4M/threom_ex_en_0908_test

Viewer • Updated Sep 10, 2024 • 17