AI4M

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

pkuAI4M 's datasets 42

pkuAI4M/lean_stage1_rag_have

Viewer • Updated Feb 15, 2025 • 311k • 2

pkuAI4M/s1k

Viewer • Updated Feb 8, 2025 • 1k • 2

pkuAI4M/lean_stage1_rag

Viewer • Updated Jan 6, 2025 • 311k • 2

pkuAI4M/lean_mathlib_rag

Viewer • Updated Jan 6, 2025 • 92.2k • 4

pkuAI4M/RAG_lean_wkbk_6

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

pkuAI4M/RAG_lean_github_6

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

pkuAI4M/lean_github

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

pkuAI4M/lean_wkbk

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

pkuAI4M/Lean_wkbk_formal_only_1119

Updated Nov 22, 2024 • 3

pkuAI4M/Lean_github_formal_only_1119

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

pkuAI4M/RAG_lean_github

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

pkuAI4M/RAG_lean_wkbk

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

pkuAI4M/data-aug-test

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

pkuAI4M/RAG_leanwkbk

Updated Nov 18, 2024 • 2

pkuAI4M/premise-selection_train_with_hn

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

pkuAI4M/premise_selection_1031

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

pkuAI4M/premise_selection_trunc_1030_splited

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

pkuAI4M/premise_selection_full_1029

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

pkuAI4M/premise_selection_1029_0

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

pkuAI4M/DPO_test_0929

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

pkuAI4M/algebra_exercises_v4_11_0_cleaner

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

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 2

pkuAI4M/benchmark_0908

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

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 5

pkuAI4M/extract_mathlib_v4_11_0_validated

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

pkuAI4M/o1_preview_test

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

pkuAI4M/options_theorems_0908

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

pkuAI4M/Extracted_ex_test0908

Viewer • Updated Sep 10, 2024 • 580 • 2

pkuAI4M/threom_ex_en_0908_test_2

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

pkuAI4M/threom_ex_en_0908_test

Viewer • Updated Sep 10, 2024 • 3