Wang's picture

1 2

Wang

Slashblade

·

slashbade

AI & ML interests

Computer proof

Recent Activity

upvoted an article 1 day ago

Kimina-Prover-RL

updated a collection 11 months ago

liked a model 11 months ago

pkuAI4M/QwenLeanSFT_0326

View all activity

Organizations

liked a model 11 months ago

pkuAI4M/QwenLeanSFT_0326

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

liked a model over 1 year ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4, 2025 • 41 • 7