·
AI & ML interests
None yet
Organizations
Viewer
• Updated • 500 • 1
WhiteGiverPlus/test_rewrite_v3
Viewer
• Updated • 2.89k WhiteGiverPlus/mathlib_name
Viewer
• Updated • 155k Viewer
• Updated • 11.1k WhiteGiverPlus/cal_theorems_v2
Viewer
• Updated • 9.91k WhiteGiverPlus/cal_theorems_test_dsv2
Viewer
• Updated • 100 WhiteGiverPlus/options_theorems_simplified_count_0
Viewer
• Updated • 13.6k WhiteGiverPlus/result_dsv2
Viewer
• Updated • 2.8k • 1
WhiteGiverPlus/result_deepseekv2_v3
Viewer
• Updated • 2.8k WhiteGiverPlus/reformatted_options_theorems_simplified
Viewer
• Updated • 151k WhiteGiverPlus/reformatted_options_theorems
Viewer
• Updated • 151k WhiteGiverPlus/reformatted_options_theorems_simplified_2
Viewer
• Updated • 103k WhiteGiverPlus/options_theorems_def_v1_tagged_watch
Viewer
• Updated • 300 • 14
WhiteGiverPlus/test_dataset
Viewer
• Updated • 256 • 19
WhiteGiverPlus/test_extract_mathlib_v2_whole
Viewer
• Updated • 50 • 13
WhiteGiverPlus/test_extract_mathlib_v2
Viewer
• Updated • 500 • 47
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_with_proof
Viewer
• Updated • 200 • 5
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_test
Viewer
• Updated • 100 • 6
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_100
Viewer
• Updated • 100 • 5
WhiteGiverPlus/Extracted_QA_ann0828_category_test
Viewer
• Updated • 100 • 5
WhiteGiverPlus/median_dataset_v2
Viewer
• Updated • 171k • 113
WhiteGiverPlus/DAG_dataset
Viewer
• Updated • 185k • 25
WhiteGiverPlus/def_chunk_zh
Viewer
• Updated • 16.6k • 7
WhiteGiverPlus/def_chunk_en
Viewer
• Updated • 4.22k • 6
WhiteGiverPlus/median_dataset
Viewer
• Updated • 218k • 119
WhiteGiverPlus/median_dataset_10_100
Viewer
• Updated • 100 • 7
Viewer
• Updated • 290k • 43
WhiteGiverPlus/options_1000_test_v2
Viewer
• Updated • 913 • 14
WhiteGiverPlus/options_1000_test
Viewer
• Updated • 534 • 14