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