WhiteGiverPlus/lean-github-big
Viewer
•
Updated
•
73.9k
•
9
White Giver
WhiteGiverPlus
AI & ML interests
None yet
Organizations
WhiteGiverPlus/qwen2_7b_ex
Viewer
•
Updated
•
100
•
3
WhiteGiverPlus/MATH5_more
Viewer
•
Updated
•
751
•
5
WhiteGiverPlus/extract_theorem_zh_v3
Viewer
•
Updated
•
84
•
7
WhiteGiverPlus/threom_chunk_en_0813_test
Viewer
•
Updated
•
500
•
5
WhiteGiverPlus/mathlib4
Viewer
•
Updated
•
4.64k
•
17
•
1
WhiteGiverPlus/lean_tl_nil_math4_test
Viewer
•
Updated
•
32
•
4
WhiteGiverPlus/lean_tl_nil_math4_64
Viewer
•
Updated
•
64
•
4
WhiteGiverPlus/repl_val_minif2f_theoremllama
Viewer
•
Updated
•
219
•
6
WhiteGiverPlus/lean_nil_math5
Viewer
•
Updated
•
721
•
5
WhiteGiverPlus/lean_nil_math4
Viewer
•
Updated
•
754
•
5
WhiteGiverPlus/lean_nil_90
Viewer
•
Updated
•
90
•
8
WhiteGiverPlus/lean_nil_test
Viewer
•
Updated
•
30
•
7
WhiteGiverPlus/lean_ex_220
Viewer
•
Updated
•
219
•
4
WhiteGiverPlus/lean_ex_aime
Viewer
•
Updated
•
30
•
7
WhiteGiverPlus/test_ex
Viewer
•
Updated
•
219
•
7
WhiteGiverPlus/test_run
Viewer
•
Updated
•
393
•
5
WhiteGiverPlus/qwen2-1.5B-MATH-0714-eval
Viewer
•
Updated
•
5k
•
5
WhiteGiverPlus/extract_theorem_en_v2_200
Viewer
•
Updated
•
196
•
14
•
1
WhiteGiverPlus/extract_theorem_en_400
Viewer
•
Updated
•
396
•
4
WhiteGiverPlus/extract_theorem_1000
Viewer
•
Updated
•
972
•
7
WhiteGiverPlus/extract_theorem_40
Viewer
•
Updated
•
39
•
6
WhiteGiverPlus/md_chunks20k_0706
Viewer
•
Updated
•
79.6k
•
12
WhiteGiverPlus/fineweb_with_latex
Viewer
•
Updated
•
184
•
10
WhiteGiverPlus/fineweb_frac
Viewer
•
Updated
•
8
•
8
WhiteGiverPlus/open-web-math-filtered_AB_mini
Updated
•
2
WhiteGiverPlus/open-web-math-filtered_AB
Updated
•
3
WhiteGiverPlus/open-web-math-md100
Viewer
•
Updated
•
91
•
7
WhiteGiverPlus/open-web-math-filtered
Updated
•
4
WhiteGiverPlus/olympia_500
Viewer
•
Updated
•
499
•
8