Wang

Slashblade's activity

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

upvoted a collection 5 days ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated Oct 30, 2025 • 10

upvoted an article 17 days ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

15

updated a collection 12 months ago

Tool Use

Collection

5 items • Updated Apr 1, 2025 • 1

liked a model 12 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 • 184 • 4

published a model about 1 year ago

FrenzyMath/Herald_translator

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

updated 14 datasets over 1 year ago

pkuAI4M/data-aug-test

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

Slashblade/temp_extmlb

Viewer • Updated Sep 21, 2024 • 30 • 9

pkuAI4M/algebra_exercises_v4_11_0_cleaner

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

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 5

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 7

pkuAI4M/extract_mathlib_v4_11_0_validated

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

Slashblade/temp

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

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5, 2024 • 100 • 6

pkuAI4M/minif2f-lean4-normalized

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

Slashblade/NuminaMath-CoT-Normalized

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

Slashblade/aa_test

Viewer • Updated Sep 3, 2024 • 20 • 10

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 160 • 6

pkuAI4M/test_extract_mathlib_notype

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

Slashblade/test_extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 40 • 6