·
AI & ML interests
Computer proof
Recent Activity
Organizations
Viewer • Updated • 30 • 15
Viewer • Updated • 1.1k • 6
Slashblade/NuminaMath-CoT-Normalized
Viewer • Updated • 860k • 48
Viewer • Updated • 20 • 12
Slashblade/extract_mathlib_notype
Viewer • Updated • 160 • 27
Slashblade/test_extract_mathlib_notype
Viewer • Updated • 40 • 10
Slashblade/extract_theorem_shuffle1000_rep64
Viewer • Updated • 100 • 18
Slashblade/minif2f_test_rep1
Viewer • Updated • 17 • 18
Slashblade/number_theory_examples_rep128_final
Viewer • Updated • 1.12k • 19
Slashblade/tl_minif2f_test_64_rep_final
Viewer • Updated • 33 • 12
Slashblade/outputs_original_long
Viewer • Updated • 14.1k • 3
Slashblade/tl_minif2f_test_final
Viewer • Updated • 219 • 10
Slashblade/tl_minif2f_final
Viewer • Updated • 219 • 12
Slashblade/testcenter_tac
Viewer • Updated • 100 • 12
Slashblade/testcenter_lines
Viewer • Updated • 25 • 11
Viewer • Updated • 100 • 9
