·
AI & ML interests
Computer proof
Organizations
datasets 16
Viewer
• Updated • 30 • 21
Viewer
• Updated • 1.1k • 11
Slashblade/NuminaMath-CoT-Normalized
Viewer
• Updated • 860k • 41
Viewer
• Updated • 20 • 10
Slashblade/extract_mathlib_notype
Viewer
• Updated • 160 • 17
Slashblade/test_extract_mathlib_notype
Viewer
• Updated • 40 • 11
Slashblade/extract_theorem_shuffle1000_rep64
Viewer
• Updated • 100 • 13
Slashblade/minif2f_test_rep1
Viewer
• Updated • 17 • 16
Slashblade/number_theory_examples_rep128_final
Viewer
• Updated • 1.12k • 24
Slashblade/tl_minif2f_test_64_rep_final
Viewer
• Updated • 33 • 12
