·
AI & ML interests
None yet
Organizations
Viewer
• Updated
• 500 • 6
WhiteGiverPlus/test_rewrite_v3
Viewer
• Updated
• 2.89k • 5
WhiteGiverPlus/mathlib_name
Viewer
• Updated
• 155k • 6
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 • 10
WhiteGiverPlus/result_dsv2
Viewer
• Updated
• 2.8k • 5
WhiteGiverPlus/result_deepseekv2_v3
Viewer
• Updated
• 2.8k • 5
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 • 6
WhiteGiverPlus/options_theorems_def_v1_tagged_watch
Viewer
• Updated
• 300 • 5
WhiteGiverPlus/test_dataset
Viewer
• Updated
• 256 • 8
WhiteGiverPlus/test_extract_mathlib_v2_whole
Viewer
• Updated
• 50 • 6
WhiteGiverPlus/test_extract_mathlib_v2
Viewer
• Updated
• 500 • 6
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_with_proof
Viewer
• Updated
• 200 • 6
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_test
Viewer
• Updated
• 100 • 18
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 • 110
WhiteGiverPlus/DAG_dataset
Viewer
• Updated
• 185k • 640
WhiteGiverPlus/def_chunk_zh
Viewer
• Updated
• 16.6k • 6
WhiteGiverPlus/def_chunk_en
Viewer
• Updated
• 4.22k • 5
WhiteGiverPlus/median_dataset
Viewer
• Updated
• 218k • 93
WhiteGiverPlus/median_dataset_10_100
Viewer
• Updated
• 100 • 5
Viewer
• Updated
• 290k • 4
WhiteGiverPlus/options_1000_test_v2
Viewer
• Updated
• 913 • 11
WhiteGiverPlus/options_1000_test
Viewer
• Updated
• 534 • 6