·
AI & ML interests
None yet
Organizations
Viewer
•
Updated
•
500
•
13
WhiteGiverPlus/test_rewrite_v3
Viewer
•
Updated
•
2.89k
•
7
WhiteGiverPlus/mathlib_name
Viewer
•
Updated
•
155k
•
10
Viewer
•
Updated
•
11.1k
•
9
WhiteGiverPlus/cal_theorems_v2
Viewer
•
Updated
•
9.91k
•
10
WhiteGiverPlus/cal_theorems_test_dsv2
Viewer
•
Updated
•
100
•
11
WhiteGiverPlus/options_theorems_simplified_count_0
Viewer
•
Updated
•
13.6k
•
19
WhiteGiverPlus/result_dsv2
Viewer
•
Updated
•
2.8k
•
9
WhiteGiverPlus/result_deepseekv2_v3
Viewer
•
Updated
•
2.8k
•
12
WhiteGiverPlus/reformatted_options_theorems_simplified
Viewer
•
Updated
•
151k
•
20
WhiteGiverPlus/reformatted_options_theorems
Viewer
•
Updated
•
151k
•
7
WhiteGiverPlus/reformatted_options_theorems_simplified_2
Viewer
•
Updated
•
103k
•
11
WhiteGiverPlus/options_theorems_def_v1_tagged_watch
Viewer
•
Updated
•
300
•
25
WhiteGiverPlus/test_dataset
Viewer
•
Updated
•
256
•
24
WhiteGiverPlus/test_extract_mathlib_v2_whole
Viewer
•
Updated
•
50
•
26
WhiteGiverPlus/test_extract_mathlib_v2
Viewer
•
Updated
•
500
•
131
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_with_proof
Viewer
•
Updated
•
200
•
18
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_test
Viewer
•
Updated
•
100
•
22
WhiteGiverPlus/Extracted_QA_ann0828_category_subcategory_100
Viewer
•
Updated
•
100
•
18
WhiteGiverPlus/Extracted_QA_ann0828_category_test
Viewer
•
Updated
•
100
•
17
WhiteGiverPlus/median_dataset_v2
Viewer
•
Updated
•
171k
•
503
WhiteGiverPlus/DAG_dataset
Viewer
•
Updated
•
185k
•
1.3k
WhiteGiverPlus/def_chunk_zh
Viewer
•
Updated
•
16.6k
•
29
WhiteGiverPlus/def_chunk_en
Viewer
•
Updated
•
4.22k
•
17
WhiteGiverPlus/median_dataset
Viewer
•
Updated
•
218k
•
505
WhiteGiverPlus/median_dataset_10_100
Viewer
•
Updated
•
100
•
16
Viewer
•
Updated
•
290k
•
22
WhiteGiverPlus/options_1000_test_v2
Viewer
•
Updated
•
913
•
36
WhiteGiverPlus/options_1000_test
Viewer
•
Updated
•
534
•
14