Slashblade/temp_extmlb
Viewer
•
Updated
•
30
•
36
Wang
Slashblade
AI & ML interests
Computer proof
Organizations
Slashblade/temp
Viewer
•
Updated
•
1.1k
•
53
Slashblade/NuminaMath-CoT-Normalized
Viewer
•
Updated
•
860k
•
57
Slashblade/aa_test
Viewer
•
Updated
•
20
•
47
Slashblade/extract_mathlib_notype
Viewer
•
Updated
•
160
•
20
Slashblade/test_extract_mathlib_notype
Viewer
•
Updated
•
40
•
162
Slashblade/extract_theorem_shuffle1000_rep64
Viewer
•
Updated
•
100
•
27
Slashblade/minif2f_test_rep1
Viewer
•
Updated
•
17
•
17
Slashblade/number_theory_examples_rep128_final
Viewer
•
Updated
•
1.12k
•
20
Slashblade/tl_minif2f_test_64_rep_final
Viewer
•
Updated
•
33
•
60
Slashblade/outputs_original_long
Viewer
•
Updated
•
14.1k
•
22
Slashblade/tl_minif2f_test_final
Viewer
•
Updated
•
219
•
15
Slashblade/tl_minif2f_final
Viewer
•
Updated
•
219
•
25
Slashblade/testcenter_tac
Viewer
•
Updated
•
100
•
22
Slashblade/testcenter_lines
Viewer
•
Updated
•
25
•
20
Slashblade/testcenter
Viewer
•
Updated
•
100
•
23