Slashblade/temp_extmlb
Viewer
•
Updated
•
30
•
71
Wang
Slashblade
AI & ML interests
Computer proof
Recent Activity
updated
a model
14 days ago
FrenzyMath/Herald_translator
published
a model
14 days ago
FrenzyMath/Herald_translator
updated
a dataset
4 months ago
pkuAI4M/data-aug-test
Organizations
models
None public yet
datasets
16
Slashblade/temp
Viewer
•
Updated
•
1.1k
•
91
Slashblade/NuminaMath-CoT-Normalized
Viewer
•
Updated
•
860k
•
164
Slashblade/aa_test
Viewer
•
Updated
•
20
•
77
Slashblade/extract_mathlib_notype
Viewer
•
Updated
•
160
•
73
Slashblade/test_extract_mathlib_notype
Viewer
•
Updated
•
40
•
137
Slashblade/extract_theorem_shuffle1000_rep64
Viewer
•
Updated
•
100
•
50
Slashblade/minif2f_test_rep1
Viewer
•
Updated
•
17
•
39
Slashblade/number_theory_examples_rep128_final
Viewer
•
Updated
•
1.12k
•
54
Slashblade/tl_minif2f_test_64_rep_final
Viewer
•
Updated
•
33
•
77