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