yotsubian's picture

yotsubian

yotsubian

AI & ML interests

None yet

Recent Activity

updated a model about 1 month 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

yotsubian 's models 5

yotsubian/qwen-r32

Updated about 1 month ago

yotsubian/qwen-corrector

Text Generation • Updated Mar 15

yotsubian/qwen-exp-a

Text Generation • Updated Mar 15 • 3

yotsubian/qwen

Updated Mar 14 • 6

yotsubian/qwen3-4b-lean-prover