Wang's picture

1 2

Wang

Slashblade

·

slashbade

AI & ML interests

Computer proof

Recent Activity

upvoted an article 5 days ago

Kimina-Prover-RL

updated a collection 11 months ago

liked a model 11 months ago

pkuAI4M/QwenLeanSFT_0326

View all activity

Organizations

Slashblade 's datasets 16

Slashblade/temp_extmlb

Viewer • Updated Sep 21, 2024 • 30 • 7

Slashblade/temp

Viewer • Updated Sep 10, 2024 • 1.1k • 6

Slashblade/NuminaMath-CoT-Normalized

Viewer • Updated Sep 3, 2024 • 860k • 14

Slashblade/aa_test

Viewer • Updated Sep 3, 2024 • 20 • 10

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 160 • 5

Slashblade/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 40 • 5

Slashblade/extract_theorem_shuffle1000_rep64

Viewer • Updated Aug 21, 2024 • 100 • 5

Slashblade/minif2f_test_rep1

Viewer • Updated Aug 20, 2024 • 17 • 5

Slashblade/number_theory_examples_rep128_final

Viewer • Updated Aug 15, 2024 • 1.12k • 7

Slashblade/tl_minif2f_test_64_rep_final

Viewer • Updated Aug 15, 2024 • 33 • 5

Slashblade/outputs_original_long

Viewer • Updated Aug 13, 2024 • 14.1k • 6

Slashblade/tl_minif2f_test_final

Viewer • Updated Aug 12, 2024 • 219 • 5

Slashblade/tl_minif2f_final

Viewer • Updated Aug 12, 2024 • 219 • 6

Slashblade/testcenter_tac

Viewer • Updated Aug 10, 2024 • 100 • 4

Slashblade/testcenter_lines

Viewer • Updated Aug 10, 2024 • 25 • 4

Slashblade/testcenter

Viewer • Updated Aug 10, 2024 • 100 • 4