Wang

Slashblade's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

updated a dataset about 1 month ago

pkuAI4M/data-aug-test

Viewer • Updated Nov 19 • 2.85k • 30

updated 5 datasets 3 months ago

Slashblade/temp_extmlb

Viewer • Updated Sep 21 • 30 • 32

pkuAI4M/algebra_exercises_v4_11_0_cleaner

Viewer • Updated Sep 21 • 1.91k • 35

pkuAI4M/temp_exthm

Viewer • Updated Sep 19 • 30 • 33

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19 • 307 • 35

pkuAI4M/extract_mathlib_v4_11_0_validated

Viewer • Updated Sep 16 • 2.83M • 31

updated 10 datasets 4 months ago

Slashblade/temp

Viewer • Updated Sep 10 • 1.1k • 33

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5 • 100 • 32

pkuAI4M/minif2f-lean4-normalized

Viewer • Updated Sep 4 • 488 • 34

Slashblade/NuminaMath-CoT-Normalized

Viewer • Updated Sep 3 • 860k • 33

Slashblade/aa_test

Viewer • Updated Sep 3 • 20 • 32

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2 • 160 • 31

pkuAI4M/test_extract_mathlib_notype

Viewer • Updated Sep 2 • 2.83M • 40

Slashblade/test_extract_mathlib_notype

Viewer • Updated Sep 2 • 40 • 32

Slashblade/extract_theorem_shuffle1000_rep64

Viewer • Updated Aug 21 • 100 • 32

Slashblade/minif2f_test_rep1

Viewer • Updated Aug 20 • 17 • 33

updated 4 datasets 5 months ago

Slashblade/number_theory_examples_rep128_final

Viewer • Updated Aug 15 • 1.12k • 32

Slashblade/tl_minif2f_test_64_rep_final

Viewer • Updated Aug 15 • 33 • 36

Slashblade/outputs_original_long

Viewer • Updated Aug 13 • 14.1k • 32

Slashblade/tl_minif2f_test_final

Viewer • Updated Aug 12 • 219 • 31