Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
1
Wang
Slashblade
Follow
21world's profile picture
WhiteGiverPlus's profile picture
2 followers
·
1 following
slashbade
AI & ML interests
Computer proof
Organizations
models
None public yet
datasets
16
Sort: Recently updated
Slashblade/temp_extmlb
Viewer
•
Updated
Sep 21
•
30
•
36
Slashblade/temp
Viewer
•
Updated
Sep 10
•
1.1k
•
37
Slashblade/NuminaMath-CoT-Normalized
Viewer
•
Updated
Sep 3
•
860k
•
47
Slashblade/aa_test
Viewer
•
Updated
Sep 3
•
20
•
35
Slashblade/extract_mathlib_notype
Viewer
•
Updated
Sep 2
•
160
•
35
Slashblade/test_extract_mathlib_notype
Viewer
•
Updated
Sep 2
•
40
•
37
Slashblade/extract_theorem_shuffle1000_rep64
Viewer
•
Updated
Aug 21
•
100
•
42
Slashblade/minif2f_test_rep1
Viewer
•
Updated
Aug 20
•
17
•
38
Slashblade/number_theory_examples_rep128_final
Viewer
•
Updated
Aug 15
•
1.12k
•
38
Slashblade/tl_minif2f_test_64_rep_final
Viewer
•
Updated
Aug 15
•
33
•
47
Expand 16 datasets