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

yotsubian 's 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