WhiteGiverPlus/test
Updated • 6
White Giver
WhiteGiverPlus
AI & ML interests
None yet
Organizations
WhiteGiverPlus/2024_11_7
Viewer • Updated • 500 • 6
WhiteGiverPlus/test_rewrite_v3
Viewer • Updated • 2.89k • 5
WhiteGiverPlus/mathlib_name
Viewer • Updated • 155k • 6
WhiteGiverPlus/cal_full
Viewer • Updated • 11.1k • 5
WhiteGiverPlus/cal_theorems_v2
Viewer • Updated • 9.91k • 6
WhiteGiverPlus/cal_theorems_test_dsv2
Viewer • Updated • 100 • 5
WhiteGiverPlus/options_theorems_simplified_count_0
Viewer • Updated • 13.6k • 12
WhiteGiverPlus/result_dsv2
Viewer • Updated • 2.8k • 5
WhiteGiverPlus/result_deepseekv2_v3
Viewer • Updated • 2.8k • 4
WhiteGiverPlus/reformatted_options_theorems_simplified
Viewer • Updated • 151k • 5
WhiteGiverPlus/reformatted_options_theorems
Viewer • Updated • 151k • 4
WhiteGiverPlus/reformatted_options_theorems_simplified_2
Viewer • Updated • 103k • 3
WhiteGiverPlus/options_theorems_def_v1_tagged_watch
Viewer • Updated • 300 • 4
WhiteGiverPlus/test_dataset
Viewer • Updated • 256 • 6
WhiteGiverPlus/test_extract_mathlib_v2_whole
Viewer • Updated • 50 • 9
WhiteGiverPlus/test_extract_mathlib_v2
Viewer • Updated • 500 • 6
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_with_proof
Viewer • Updated • 200 • 4
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_test
Viewer • Updated • 100 • 19
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_100
Viewer • Updated • 100 • 4
WhiteGiverPlus/Extracted_QA_ann0828_category_test
Viewer • Updated • 100 • 5
WhiteGiverPlus/median_dataset_v2
Viewer • Updated • 171k • 153
WhiteGiverPlus/DAG_dataset
Viewer • Updated • 185k • 741
WhiteGiverPlus/def_chunk_zh
Viewer • Updated • 16.6k • 6
WhiteGiverPlus/def_chunk_en
Viewer • Updated • 4.22k • 5
WhiteGiverPlus/median_dataset
Viewer • Updated • 218k • 59
WhiteGiverPlus/median_dataset_10_100
Viewer • Updated • 100 • 5
WhiteGiverPlus/options
Viewer • Updated • 290k • 7
WhiteGiverPlus/options_1000_test_v2
Viewer • Updated • 913 • 17
WhiteGiverPlus/options_1000_test
Viewer • Updated • 534 • 4