Wang

Slashblade's activity

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

upvoted an article 2 days ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

15

updated a collection 11 months ago

Tool Use

Collection

5 items • Updated Apr 1, 2025 • 1

liked a model 11 months ago

pkuAI4M/QwenLeanSFT_0326

Text Generation • 8B • Updated Mar 26, 2025 • 3

updated a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

published a model about 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 100 • 4

updated 15 datasets over 1 year ago

pkuAI4M/data-aug-test

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

Slashblade/temp_extmlb

Viewer • Updated Sep 21, 2024 • 30 • 6

pkuAI4M/algebra_exercises_v4_11_0_cleaner

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

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 3

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 6

pkuAI4M/extract_mathlib_v4_11_0_validated

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

Slashblade/temp

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

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5, 2024 • 100 • 4

pkuAI4M/minif2f-lean4-normalized

Viewer • Updated Sep 4, 2024 • 488 • 21 • 4

Slashblade/NuminaMath-CoT-Normalized

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

Slashblade/aa_test

Viewer • Updated Sep 3, 2024 • 20 • 9

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 160 • 4

pkuAI4M/test_extract_mathlib_notype

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

Slashblade/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 40 • 4

Slashblade/extract_theorem_shuffle1000_rep64

Viewer • Updated Aug 21, 2024 • 100 • 4