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 19 days ago
yotsubian/qwen-r32
published a model 22 days 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 19 days ago

yotsubian/qwen-corrector

Text Generation • Updated Mar 15 • 2

yotsubian/qwen-exp-a

Text Generation • Updated Mar 15 • 4

yotsubian/qwen

Updated Mar 14 • 11

yotsubian/qwen3-4b-lean-prover

Updated Mar 14

datasets 1

yotsubian/mathlib4-build

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