Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
yotsubian's picture

yotsubian

yotsubian

AI & ML interests

None yet

Recent Activity

updated a model 27 days ago
yotsubian/qwen-r32
published a model about 1 month ago
yotsubian/qwen-r32
updated a dataset about 1 month ago
yotsubian/mathlib4-build
View all activity

Organizations

None yet

models 5

yotsubian/qwen-r32

Updated 27 days ago

yotsubian/qwen-corrector

Text Generation • Updated Mar 15 • 2

yotsubian/qwen-exp-a

Text Generation • Updated Mar 15 • 5

yotsubian/qwen

Updated Mar 14 • 9

yotsubian/qwen3-4b-lean-prover

Updated Mar 14

datasets 1

yotsubian/mathlib4-build

Viewer • Updated Mar 15 • 9.27k • 5
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs