pkuAI4M/lean_stage1_rag_have
Viewer • Updated • 311k • 13
AI4M
university
AI & ML interests
None defined yet.
pkuAI4M/s1k
Viewer • Updated • 1k • 8
pkuAI4M/lean_stage1_rag
Viewer • Updated • 311k • 8
pkuAI4M/lean_mathlib_rag
Viewer • Updated • 92.2k • 16
pkuAI4M/RAG_lean_wkbk_6
Viewer • Updated • 25.2k • 13
pkuAI4M/RAG_lean_github_6
Viewer • Updated • 219k • 11
pkuAI4M/lean_github
Viewer • Updated • 219k • 38
pkuAI4M/lean_wkbk
Viewer • Updated • 25.2k • 8
pkuAI4M/Lean_wkbk_formal_only_1119
Updated • 9
pkuAI4M/Lean_github_formal_only_1119
Viewer • Updated • 219k • 20
pkuAI4M/RAG_lean_github
Viewer • Updated • 219k • 16
pkuAI4M/RAG_lean_wkbk
Viewer • Updated • 25.2k • 15
pkuAI4M/data-aug-test
Viewer • Updated • 2.85k • 9
pkuAI4M/RAG_leanwkbk
Updated • 8
pkuAI4M/premise-selection_train_with_hn
Viewer • Updated • 364k • 5
pkuAI4M/premise_selection_1031
Viewer • Updated • 383k • 7
pkuAI4M/premise_selection_trunc_1030_splited
Viewer • Updated • 407k • 5
pkuAI4M/premise_selection_full_1029
Viewer • Updated • 351k • 6
pkuAI4M/premise_selection_1029_0
Viewer • Updated • 357k • 7
pkuAI4M/DPO_test_0929
Viewer • Updated • 1.12M • 27
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer • Updated • 1.91k • 8
pkuAI4M/temp_exthm
Viewer • Updated • 30 • 5
pkuAI4M/benchmark_0908
Viewer • Updated • 2.6k • 13
pkuAI4M/extract_theorem_benchmark
Viewer • Updated • 307 • 15
pkuAI4M/extract_mathlib_v4_11_0_validated
Viewer • Updated • 2.83M • 12
pkuAI4M/o1_preview_test
Viewer • Updated • 94 • 19 • 1
pkuAI4M/options_theorems_0908
Viewer • Updated • 339k • 5
pkuAI4M/Extracted_ex_test0908
Viewer • Updated • 580 • 4
pkuAI4M/threom_ex_en_0908_test_2
Viewer • Updated • 97.8k • 4
pkuAI4M/threom_ex_en_0908_test
Viewer • Updated • 4