Alexander Vavilkin

AlexVav01

1 3

·

AI & ML interests

None yet

Recent Activity

liked a model 7 days ago

yandex/AliceAI-Foundation-80B-A3B-Base

updated a model 3 months ago

AlexVav01/lean4-autoformalizer-sft

published a model 3 months ago

AlexVav01/lean4-autoformalizer-sft

View all activity

Organizations

None yet

AlexVav01 's datasets 3

AlexVav01/autoformalization-clean

Viewer • Updated Jun 18 • 31.1k • 7

AlexVav01/FormalMath-formalization

Viewer • Updated Jun 17 • 425 • 20

AlexVav01/autoformalization-bench

Viewer • Updated Jun 14 • 1.5k • 8