Wang

Slashblade's activity

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

upvoted a paper 18 days ago

BridgeWAM: Bridging Video and Action Experts via Latent Bridge Queries

Paper • 2610.14746 • Published 27 days ago • 43

upvoted a collection 8 months ago

Kimina Prover

Collection

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

upvoted an article 8 months ago

view article

Article

Kimina-Prover-RL

• 

project-numina

•

Aug 14, 2025

• 17

updated a collection over 1 year ago

Tool Use

Collection

5 items • Updated Apr 1, 2025 • 1

liked a model over 1 year ago

pkuAI4M/QwenLeanSFT_0326

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

updated a model over 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 36 • 6

published a model over 1 year ago

FrenzyMath/Herald_translator

Text Generation • 7B • Updated May 13, 2025 • 36 • 6

updated a dataset almost 2 years ago

pkuAI4M/data-aug-test

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

updated 12 datasets about 2 years ago

Slashblade/temp_extmlb

Viewer • Updated Sep 21, 2024 • 30 • 12

pkuAI4M/algebra_exercises_v4_11_0_cleaner

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

pkuAI4M/temp_exthm

Viewer • Updated Sep 19, 2024 • 30 • 10

pkuAI4M/extract_theorem_benchmark

Viewer • Updated Sep 19, 2024 • 307 • 22

pkuAI4M/extract_mathlib_v4_11_0_validated

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

Slashblade/temp

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

pkuAI4M/informal_mathlib_watch

Viewer • Updated Sep 5, 2024 • 100 • 3

pkuAI4M/minif2f-lean4-normalized

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

Slashblade/NuminaMath-CoT-Normalized

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

Slashblade/aa_test

Viewer • Updated Sep 3, 2024 • 20 • 3

Slashblade/extract_mathlib_notype

Viewer • Updated Sep 2, 2024 • 160 • 24

pkuAI4M/test_extract_mathlib_notype

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