yotsubian

yotsubian's activity

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

updated a model about 1 month ago

yotsubian/qwen-r32

Updated Mar 28

published a model about 1 month ago

yotsubian/qwen-r32

Updated Mar 28

updated a dataset about 2 months ago

yotsubian/mathlib4-build

Viewer • Updated Mar 15 • 9.27k • 121

published a dataset about 2 months ago

yotsubian/mathlib4-build

Viewer • Updated Mar 15 • 9.27k • 121

updated 2 models about 2 months ago

yotsubian/qwen-corrector

Text Generation • Updated Mar 15

yotsubian/qwen-exp-a

Text Generation • Updated Mar 15 • 1

published 2 models about 2 months ago

yotsubian/qwen-corrector

Text Generation • Updated Mar 15

yotsubian/qwen-exp-a

Text Generation • Updated Mar 15 • 1

updated a model about 2 months ago

yotsubian/qwen

Updated Mar 14

published 2 models about 2 months ago

yotsubian/qwen

Updated Mar 14

yotsubian/qwen3-4b-lean-prover

Updated Mar 14