Wang

Slashblade's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 9 days ago

FrenzyMath/Herald_translator

Text Generation • Updated 9 days ago • 34

published a model 9 days ago

FrenzyMath/Herald_translator

Text Generation • Updated 9 days ago • 34

updated a dataset 4 months ago

pkuAI4M/data-aug-test

Viewer • Updated Nov 19, 2024 • 2.85k • 14

updated 13 datasets 6 months ago

Slashblade/temp_extmlb

Viewer • Updated Sep 21, 2024 • 30 • 70

pkuAI4M/algebra_exercises_v4_11_0_cleaner

Viewer • Updated Sep 21, 2024 • 1.91k • 10

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 43

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 44

pkuAI4M/extract_mathlib_v4_11_0_validated

Viewer • Updated Sep 16, 2024 • 2.83M • 9

Slashblade/temp

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

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5, 2024 • 100 • 47

pkuAI4M/minif2f-lean4-normalized

Viewer • Updated Sep 4, 2024 • 488 • 1.21k • 1

Slashblade/NuminaMath-CoT-Normalized

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

Slashblade/aa_test

Viewer • Updated Sep 3, 2024 • 20 • 55

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 160 • 65

pkuAI4M/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 2.83M • 60

Slashblade/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 40 • 117

updated 4 datasets 7 months ago

Slashblade/extract_theorem_shuffle1000_rep64

Viewer • Updated Aug 21, 2024 • 100 • 52

Slashblade/minif2f_test_rep1

Viewer • Updated Aug 20, 2024 • 17 • 39

Slashblade/number_theory_examples_rep128_final

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

Slashblade/tl_minif2f_test_64_rep_final

Viewer • Updated Aug 15, 2024 • 33 • 60